@@ -179,10 +179,10 @@ ploop d prompt prf e h
179179 i <- receiveInput e
180180 return (i, h)
181181 (cmd, step) <- case x of
182− Nothing -> do iPrintError ""; fail "Abandoned"
182+ Nothing -> do iPrintError ""; ifail "Abandoned"
183183 Just input -> do return (parseTactic i input, input)
184184 case cmd of
185− Success Abandon -> do iPrintError ""; fail "Abandoned"
185+ Success Abandon -> do iPrintError ""; ifail "Abandoned"
186186 _ -> return ()
187187 (d, st, done, prf') <- idrisCatch
188188 (case cmd of