From 195097dc1353946f524f2518453bd356a09f6681 Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@microsoft.com>
Date: Tue, 10 Dec 2013 13:41:50 -0800
Subject: Add support for the "include" keyword, which accepts a (possibly
 relative) path to another Dafny file.  That file's functions and methods are
 included but not checked. This is intended to support incremental
 verification on a per-file basis.

---
 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 f282fa7c..83c2bf75 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -11,7 +11,7 @@
       ghost,var,static,refines,
       method,lemma,constructor,comethod,colemma,
       returns,yields,abstract,module,import,default,opened,as,in,
-      requires,modifies,ensures,reads,decreases,free,
+      requires,modifies,ensures,reads,decreases,free,include
       % expressions
       match,case,false,true,null,old,fresh,this,
       % statements
-- 
cgit v1.2.3