aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorronny2003-06-19 13:24:35 +0000
committerronny2003-06-19 13:24:35 +0000
commitc8c102400783b436b293879b00fce42ca1d2c20b (patch)
treebade5a075920058f17360281ac0df66660632311
parents/sd__ident/sd_ident/g (diff)
removed unused module typeanal
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1354 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/typeanal.dcl1
-rw-r--r--frontend/typeanal.icl1
2 files changed, 0 insertions, 2 deletions
diff --git a/frontend/typeanal.dcl b/frontend/typeanal.dcl
deleted file mode 100644
index d9d891b..0000000
--- a/frontend/typeanal.dcl
+++ /dev/null
@@ -1 +0,0 @@
-definition module typeanal
diff --git a/frontend/typeanal.icl b/frontend/typeanal.icl
deleted file mode 100644
index e602e72..0000000
--- a/frontend/typeanal.icl
+++ /dev/null
@@ -1 +0,0 @@
-implementation module typeanal \ No newline at end of file