@@ -101,6 +101,7 @@ addProof f orig
101 Just (n, p) -> do let prog' = insertScript (showProof n p) (lines prog)
101 Just (n, p) -> do let prog' = insertScript (showProof n p) (lines prog)
102 lift $ writeFile f (unlines prog')
102 lift $ writeFile f (unlines prog')
103 iputStrLn $ "Added proof " ++ show n
103 iputStrLn $ "Added proof " ++ show n
104+ put (i { last_proof = Nothing })
104 -- lift $ removeFile fb -- uncomment when less scared :)
105 -- lift $ removeFile fb -- uncomment when less scared :)
106insertScript :: String -> [String] -> [String]
107insertScript :: String -> [String] -> [String]