aboutsummaryrefslogtreecommitdiff
path: root/frontend/Heap.dcl
diff options
context:
space:
mode:
authorjohnvg2001-12-11 12:59:55 +0000
committerjohnvg2001-12-11 12:59:55 +0000
commit21a79bff0b5ef5517232b5289c451f6620d27637 (patch)
tree18f846ef0e2bfbc9c68fbf0da5bc2648316a36d9 /frontend/Heap.dcl
parentheap module with smaller pointers. (diff)
import StdClass instead of StdEnv
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@922 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/Heap.dcl')
-rw-r--r--frontend/Heap.dcl3
1 files changed, 1 insertions, 2 deletions
diff --git a/frontend/Heap.dcl b/frontend/Heap.dcl
index a3eaae3..dbee0db 100644
--- a/frontend/Heap.dcl
+++ b/frontend/Heap.dcl
@@ -1,6 +1,6 @@
definition module Heap
-import StdEnv
+import StdClass
:: Heap v = {heap::!.HeapN v}
:: HeapN v
@@ -33,4 +33,3 @@ where
(ptr, val) = ptr_and_val
instance == (Ptr a)
-