From 577f4330e41e16e233ea21121da97d4cd6305736 Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 3 Oct 2001 09:07:49 +0000
Subject: eliminated cheat module

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@817 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/cheat.dcl | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 frontend/cheat.dcl

(limited to 'frontend/cheat.dcl')

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)
-- 
cgit v1.2.3