diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 16:12:27 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 16:12:27 -0700 |
commit | d3a315961bf6a7b83225f6311dcf40b0dbba6463 (patch) | |
tree | b5379d0088109450d51e962a9e2d5e70c7400c41 /Util/latex | |
parent | a9c6c8fcf205a13c759c6f09e69b01d3b144df94 (diff) |
Boogie: updated syntax highlighting ("real")
Diffstat (limited to 'Util/latex')
-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,%
|