2 files changed, 3 insertions, 2 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
diff --git a/StringUtils.dcl b/StringUtils.dcl
index 22e80ad..f431e12 100644
--- a/StringUtils.dcl
+++ b/StringUtils.dcl
@@ -23,7 +23,7 @@
  */
 definition module StringUtils
 
-import StdEnv
+from    StdOverloaded   import class toString
 
 strlen :: String -> Int                         // Length of a String