start work on unification

[fp.git] / src / Main.hs

diff --git a/src/Main.hs b/src/Main.hs
index 1405086..4ddfe2d 100644 (file)
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -11,6 +11,7 @@ import Control.Monad
 import System.Environment
 
 import Lambda
+import Lambda.Parser.Fancy
 
 data Definition = Definition String Term