From fdef447cce5bdc57851cad1427f2a8e7cd7df35f Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Sun, 8 Nov 2009 20:53:30 +0000
Subject: Start (some parsing and resolution) of adding algebraic datatypes to
 Dafny. Included VSI-Benchmarks in standard tests.

---
 Binaries/DafnyPrelude.bpl | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Binaries')

diff --git a/Binaries/DafnyPrelude.bpl b/Binaries/DafnyPrelude.bpl
index 4eee233b..4e524175 100644
--- a/Binaries/DafnyPrelude.bpl
+++ b/Binaries/DafnyPrelude.bpl
@@ -190,6 +190,10 @@ axiom (forall a: ClassName, b: ClassName :: { TypeTuple(a,b) }
 
 // ---------------------------------------------------------------
 
+type DatatypeType;
+
+// ---------------------------------------------------------------
+
 type Field alpha;
 type HeapType = <alpha>[ref,Field alpha]alpha;
 
-- 
cgit v1.2.3