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