diff options
| author |  leino <unknown> | 2014-08-21 21:03:52 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-21 21:03:52 -0700 |
| commit | 900c42823f0661107543716a247bec22f01cd9cc (patch) | |
| tree | 13fdda07d14827c2bad6fd71d4180cf1d0084d56 /Util/latex | |
| parent | 81669a1d8bb2e36d86464708bb234e7920776ae6 (diff) | |
Changed syntax of derived types to "newtype"
Added parsing of constraints (beyond parsing is yet to come)
Diffstat (limited to 'Util/latex')
| -rw-r--r-- | Util/latex/dafny.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index 40b994ba..dc0d18c7 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -5,7 +5,7 @@ \usepackage{listings}
\lstdefinelanguage{dafny}{
- morekeywords={class,datatype,codatatype,type,iterator,trait,extends,
+ morekeywords={class,datatype,codatatype,newtype,type,iterator,trait,extends,
bool,nat,int,real,object,set,multiset,seq,array,array2,array3,map,
function,predicate,copredicate,
ghost,var,static,refines,
|