[0/3] Some minor sim fixes

Message ID 20210504145818.4088770-1-tromey@adacore.com
Headers show
Series
  • Some minor sim fixes
Related show

Message

Tom Tromey May 4, 2021, 2:58 p.m.
After some recent changes, parts of the sim failed to build for me.
Patch #2 addresses the main problem, but patch #1 also improved things
somewhat.

Tom