Minor fix: don't add a proof more than once
commit3b1ee4b22fa1aec1d9a98fc7be712fce26d50fc5
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateTue 29 Nov 2011, 14:05 (15 years ago)
parentacb1f19
src/Idris/REPL.hs+1
@@ -101,6 +101,7 @@ addProof f orig
101101 Just (n, p) -> do let prog' = insertScript (showProof n p) (lines prog)
102102 lift $ writeFile f (unlines prog')
103103 iputStrLn $ "Added proof " ++ show n
104+ put (i { last_proof = Nothing })
104105 -- lift $ removeFile fb -- uncomment when less scared :)
105106
106107insertScript :: String -> [String] -> [String]