1 files changed, 2 insertions, 1 deletions
diff --git a/Logic.dcl b/Logic.dcl
index 23ae191..225f98f 100644
--- a/Logic.dcl
+++ b/Logic.dcl
@@ -23,7 +23,8 @@
  */
 definition module Logic
 
-import StdEnv, StdMaybe
+from    StdOverloaded   import class <, class ==
+from    StdMaybe        import :: Maybe
 
 // Expressions
 :: Expr = B Bool                // A constant