diff options
| -rw-r--r-- | frontend/typeanal.dcl | 1 | ||||
| -rw-r--r-- | frontend/typeanal.icl | 1 |
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 |