diff options
| author | ronny | 2001-10-03 09:07:49 +0000 |
|---|---|---|
| committer | ronny | 2001-10-03 09:07:49 +0000 |
| commit | 577f4330e41e16e233ea21121da97d4cd6305736 (patch) | |
| tree | 2d50ebaef2425f24b4e0666e7dd1697aed19b55b /frontend/cheat.dcl | |
| parent | changed from system to definition module (diff) | |
eliminated cheat module
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@817 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/cheat.dcl')
| -rw-r--r-- | frontend/cheat.dcl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/frontend/cheat.dcl b/frontend/cheat.dcl deleted file mode 100644 index d7c3b66..0000000 --- a/frontend/cheat.dcl +++ /dev/null @@ -1,5 +0,0 @@ -system module cheat - -i :: !b -> a - -uniqueCopy :: !*a -> (!*a, !*a) |