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