1 files changed, 2 insertions, 2 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 69cd6b0a..f334e770 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -5,13 +5,13 @@
 \usepackage{listings}
 
 \lstdefinelanguage{dafny}{
-  morekeywords={class,bool,int,object,set,seq,%
+  morekeywords={class,datatype,bool,int,object,set,seq,%
       function,returns,
       var,
       method,in,
       requires,modifies,ensures,reads,free,
       % expressions
-      false,true,null,old,fresh,this,
+      match,case,false,true,null,old,fresh,this,
       % statements
       assert,assume,new,havoc,call,if,else,while,invariant,break,return,foreach,
       },