From ca22479120810e5e0a79f1ec2bcd01ed26152fdb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 6 Jul 2015 16:35:52 +0200
Subject: Adhere to Clean library standards, i.e. don't import too much

---
 Logic.dcl       | 3 ++-
 StringUtils.dcl | 2 +-
 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
 
-- 
cgit v1.2.3