From 82edb1b179916ee61655ab7e425a17ab5145fac8 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Mon, 20 Oct 2014 17:08:46 -0700
Subject: Added types "char" and "string" (the latter being a synonym for
 "seq<char>"). Added string literals with various escapes--a subset of those
 supported in C# and similar languages, including the C# verbatim strings.
 Previously, the "print" statement and custom attributes could support
 expression-or-string arguments; there is no longer a need to special-case
 these, so these arguments are now just expressions. Fixed lack of operator
 resolution in custom attributes.

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

(limited to 'Util/latex')

diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index dc0d18c7..0b9348ea 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -6,7 +6,7 @@
 
 \lstdefinelanguage{dafny}{
   morekeywords={class,datatype,codatatype,newtype,type,iterator,trait,extends,
-      bool,nat,int,real,object,set,multiset,seq,array,array2,array3,map,
+      bool,char,nat,int,real,object,set,multiset,seq,string,map,array,array2,array3,
       function,predicate,copredicate,
       ghost,var,static,refines,
       method,lemma,constructor,colemma,
-- 
cgit v1.2.3