Start (some parsing and resolution) of adding algebraic datatypes to Dafny.

Included VSI-Benchmarks in standard tests.

1 files changed, 2 insertions, 2 deletions

diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 69cd6b0a..f334e770 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -5,13 +5,13 @@
 \usepackage{listings}

 

 \lstdefinelanguage{dafny}{

-  morekeywords={class,bool,int,object,set,seq,%

+  morekeywords={class,datatype,bool,int,object,set,seq,%

       function,returns,

       var,

       method,in,

       requires,modifies,ensures,reads,free,

       % expressions

-      false,true,null,old,fresh,this,

+      match,case,false,true,null,old,fresh,this,

       % statements

       assert,assume,new,havoc,call,if,else,while,invariant,break,return,foreach,

       },