From d5606621b8146a258557c4824405c8331e4c8691 Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Mon, 11 Jun 2012 14:24:51 -0700
Subject: Dafny: removed support for the old keyword "unlimited" (all functions
 are limited)

---
 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 4126d2f2..051d60f4 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -6,7 +6,7 @@
 
 \lstdefinelanguage{dafny}{
   morekeywords={class,datatype,codatatype,type,bool,nat,int,object,set,multiset,seq,array,array2,array3,%
-      function,predicate,unlimited,
+      function,predicate,
       ghost,var,static,refines,
       method,constructor,returns,module,imports,in,
       requires,modifies,ensures,reads,decreases,free,
-- 
cgit v1.2.3

