More changes to lucre.cabal

mbenke · Jun 22, 2012 · fc7df46 · fc7df46
1 parent 1c85699
commit fc7df46
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/interpreter/Test.hs b/interpreter/Test.hs
@@ -1,4 +1,4 @@
-module Test where
+--module Test where
 
 --import qualified Lucretia.Test(tests)
 import qualified Lucretia.TypeChecker.Test(tests)

diff --git a/interpreter/lucre.cabal b/interpreter/lucre.cabal
@@ -31,6 +31,6 @@ executable Test
     Lucretia.Syntax,
     Lucretia.Types, 
     Lucretia.TypeChecker.TypeChecker,
-    Lucretia.TypeChecker.IsomorphicModuloNames,
+    Lucretia.TypeChecker.MonomorphicModuloNames,
     Lucretia.TypeChecker.Test,
-    DebugUtils, Diff, HUnitUtils, LocalState, OrFail
+    DebugUtils, Diff, HUnitUtils, MonadUtils, OrFail