@@ -196,7 +196,6 @@ process fn (ExecVal t)
196196 = do ctxt <- getContext
197197 ist <- getIState
198198 (tm, ty) <- elabVal toplevel False t
199− trace (show tm) $ return ()
200199-- let tm' = normaliseAll ctxt [] tm
201200 let ty' = normaliseAll ctxt [] ty
202201 res <- execute tm