1 files changed, 4 insertions, 1 deletions
diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr
index 0ff1d70..639094f 100644
--- a/src/Obs/Main.idr
+++ b/src/Obs/Main.idr
@@ -1,7 +1,9 @@
 module Obs.Main
 
+import Obs.Abstract
 import Obs.Parser
 import Obs.Syntax
+import Obs.Term
 
 import System
 
@@ -18,4 +20,5 @@ main = do
   [_, file] <- getArgs
     | _ => usage
   defs <- parseFile file
-  putDoc $ concatWith (\x, y => x <+> hardline <+> hardline <+> y) (map pretty defs)
+  blk <- printErr $ abstractBlock defs
+  putDoc $ pretty blk