1 files changed, 2 insertions, 2 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index dd44665a..5551cec0 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -7,13 +7,13 @@
 \lstdefinelanguage{dafny}{
   morekeywords={class,datatype,bool,int,object,set,seq,array,%
       function,unlimited,
-      ghost,var,static,
+      ghost,var,static,refines,replaces,by,
       method,returns,module,imports,in,
       requires,modifies,ensures,reads,decreases,free,
       % expressions
       match,case,false,true,null,old,fresh,this,
       % statements
-      assert,assume,print,new,havoc,call,if,then,else,while,invariant,break,return,foreach,
+      assert,assume,print,new,havoc,call,if,then,else,while,invariant,break,label,return,foreach,
       },
   literate=%
     {:}{$\colon$}1