From b06749500528f113ace48fd2fd7d0412c84a9c78 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Tue, 6 Aug 2013 18:37:40 -0700
Subject: Removed old keyword "choose"

---
 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 d8d4ad96..f282fa7c 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -13,7 +13,7 @@
       returns,yields,abstract,module,import,default,opened,as,in,
       requires,modifies,ensures,reads,decreases,free,
       % expressions
-      match,case,false,true,null,old,fresh,choose,this,
+      match,case,false,true,null,old,fresh,this,
       % statements
       assert,assume,print,new,if,then,else,while,invariant,break,label,return,yield,
       where,calc
-- 
cgit v1.2.3