Ssreflect Users Discussion List

[Jason Gross <>]

Hi,

Is there a "correct" way to do [progress rewrite /foo in H]?  That invocation doesn't work, because [rewrite /foo in H] will move H to the bottom even if it does nothing else.  I can do [move H at bottom; progress rewrite /foo in H], but that seems a bit hackish.

Thanks,

Jason