@@ -274,9 +274,8 @@ process fn (Defn n) = do i <- getIState
274274 [t] -> iputStrLn (showTotal t i)
275275 _ -> return ()
276276 where printCase i (_, lhs, rhs)
277− = do liftIO $ putStr $ showImp True (delab i lhs)
278− liftIO $ putStr " = "
279− liftIO $ putStrLn $ showImp True (delab i rhs)
277+ = do iputStrLn (showImp True (delab i lhs) ++ " = " ++
278+ showImp True (delab i rhs))
280279process fn (TotCheck n) = do i <- getIState
281280 case lookupTotal n (tt_ctxt i) of
282281 [t] -> iputStrLn (showTotal t i)