1 files changed, 1 insertions, 1 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 41e0779b..361b72d2 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -11,7 +11,7 @@
       ghost,var,static,refines,
       method,lemma,constructor,colemma,
       returns,yields,abstract,module,import,default,opened,as,in,
-      requires,modifies,ensures,reads,decreases,free,include
+      requires,modifies,ensures,reads,decreases,free,include,
       % expressions
       match,case,false,true,null,old,fresh,this,
       % statements