diff options
| -rw-r--r-- | Util/latex/dafny.sty | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index 83c2bf75..644e7581 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -86,6 +86,7 @@ sensitive=true, % case sensitive
morecomment=[l]{//},
morecomment=[s]{/*}{*/},
+ morecomment=[s]{\{:}{\}},
morestring=[b]",
numbers=none,
firstnumber=0,
|