diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/type_io.icl | 4 |
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 |