On Tuesday 07 January 2014 13:26:41 Tom Tromey wrote:
> This removes the last uses of PARAMS from sim.

OK
-mike