From 900c42823f0661107543716a247bec22f01cd9cc Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Thu, 21 Aug 2014 21:03:52 -0700
Subject: Changed syntax of derived types to "newtype" Added parsing of
 constraints (beyond parsing is yet to come)

---
 Util/latex/dafny.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 40b994ba..dc0d18c7 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -5,7 +5,7 @@
 \usepackage{listings}
 
 \lstdefinelanguage{dafny}{
-  morekeywords={class,datatype,codatatype,type,iterator,trait,extends,
+  morekeywords={class,datatype,codatatype,newtype,type,iterator,trait,extends,
       bool,nat,int,real,object,set,multiset,seq,array,array2,array3,map,
       function,predicate,copredicate,
       ghost,var,static,refines,
-- 
cgit v1.2.3

