GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity

Fix #132 QED --> Q.E.D.

Browse Source
This commit is contained in:
Thomas M. DuBuisson 2014-10-23 09:59:12 -07:00
parent bb3ffde9ba
commit eac4e18005
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol/REPL/Command.hs
View File

@ -271,7 +271,7 @@ qcCmd qcMode str =
then (Nothing, vss1) then (Nothing, vss1)
else (Just vs, vss1) else (Just vs, vss1)
ok <- go doTest sz 0 vss ok <- go doTest sz 0 vss
when ok $ io $ putStrLn "QED" when ok $ io $ putStrLn "Q.E.D."
n -> case TestR.testableType ty of n -> case TestR.testableType ty of
Nothing -> raise (TypeNotTestable ty) Nothing -> raise (TypeNotTestable ty)