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.

---
 Util/latex/dafny.sty | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Util/latex/dafny.sty')

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

