aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormartijnv2001-03-02 09:33:21 +0000
committermartijnv2001-03-02 09:33:21 +0000
commitbec00b3f6693c1af77d6d9f8b26f13069c7ace4a (patch)
tree6f67613fae79d0aae36c07c5e905e0e6dcc1fe00
parentno message (diff)
no message
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@310 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/type_io.icl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index 508aa8a..5767676 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -1,7 +1,7 @@
implementation module type_io
-
-import DebugUtilities;
+//import DebugUtilities;
+F a b :== b
import StdEnv, compare_constructor // ,RWSDebug