[ exprim ] Revert back elab mode for the decl-level %runElab
#325
The logs for this run have expired and are no longer available.
Loading
%runElab
#325