From 9973fcca56f1c6345ac2697210f2f3c7662f5c30 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Thu, 6 May 2010 20:28:29 +0000
Subject: Dafny: * First crack at a compiler (/compile:1 writes out.cs, if
 Dafny program verifies) * Added "print" statement (to make running compiled
 programs more interesting) * Changed name of default class from $default to
 _default Boogie: * Included "lambda" as a keyword in emacs and latex style
 files

---
 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 641584b6..2b9918f9 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -13,7 +13,7 @@
       % expressions
       match,case,false,true,null,old,fresh,this,
       % statements
-      assert,assume,new,havoc,call,if,then,else,while,invariant,break,return,foreach,
+      assert,assume,print,new,havoc,call,if,then,else,while,invariant,break,return,foreach,
       },
   literate=%
     {:}{$\colon$}1
-- 
cgit v1.2.3