diff options
Diffstat (limited to 'src/Obs')
| -rw-r--r-- | src/Obs/Main.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr index eb24d52..5e0903e 100644 --- a/src/Obs/Main.idr +++ b/src/Obs/Main.idr @@ -27,4 +27,4 @@ main = do defs <- parseFile file blk <- Abstract.printErr $ abstractBlock defs ctx <- Typing.printErr $ checkBlock blk - putDoc $ pretty blk + putStrLn "Everything type checks." |