diff options
Diffstat (limited to 'Util/latex/boogie.sty')
| -rw-r--r-- | Util/latex/boogie.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/latex/boogie.sty b/Util/latex/boogie.sty index 43336262..e67c61f4 100644 --- a/Util/latex/boogie.sty +++ b/Util/latex/boogie.sty @@ -19,7 +19,7 @@ \usepackage{listings}
\lstdefinelanguage{boogie}{
- morekeywords={type,finite,bool,int,ref,%
+ morekeywords={type,bool,int,real,%
bv0,bv1,bv2,bv3,bv4,bv5,bv6,bv7,bv8,bv9,%
bv10,bv11,bv12,bv13,bv14,bv15,bv16,bv17,bv18,bv19,%
bv20,bv21,bv22,bv23,bv24,bv25,bv26,bv27,bv28,bv29,%
|