X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/763aa13445f67ffe289fe6f3186dd269a909d8a5..94f9e5a83598d189b1dd90d4fec0927622a8b778:/src/HM/Interpreter.hs?ds=inline

diff --git a/src/HM/Interpreter.hs b/src/HM/Interpreter.hs
index 90f5595..17e1e96 100644
--- a/src/HM/Interpreter.hs
+++ b/src/HM/Interpreter.hs
@@ -16,8 +16,6 @@ import HM
 import HM.Term
 import HM.Parser
 
-import qualified Lambda as L
-
 data Definition = Definition String TypedTerm
 
 dictionary :: [Definition] -> M.Map VarName TypedTerm