diff options
| -rw-r--r-- | frontend/Heap.dcl | 3 |
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) - |