From ea1a6a13af6cd29da16a83e0a4ba9e31a31a78ab Mon Sep 17 00:00:00 2001 From: johnvg Date: Wed, 17 Jul 2002 13:10:19 +0000 Subject: remove git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1155 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/cheat.dcl | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 frontend/cheat.dcl (limited to 'frontend') diff --git a/frontend/cheat.dcl b/frontend/cheat.dcl deleted file mode 100644 index 8189566..0000000 --- a/frontend/cheat.dcl +++ /dev/null @@ -1,5 +0,0 @@ -system module cheat - -//i :: !b -> a - -uniqueCopy :: !*a -> (!*a, !*a) -- cgit v1.2.3