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 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Logic.dcl')

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
-- 
cgit v1.2.3