@@ -193,7 +193,7 @@ ploop d prompt prf e h
193193-- trace (show (problems (proof st))) $
194194 iPrintResult ""
195195 return (True, st, False, prf ++ [step]))
196− (\err -> do iPrintError (show err)
196+ (\err -> do iPrintError (pshow i err)
197197 return (False, e, False, prf))
198198 ideslavePutSExp "write-proof-state" (prf', length prf')
199199 if done then do (tm, _) <- elabStep st get_term