diff options
| author |  boehmes <unknown> | 2012-09-27 17:13:42 +0200 |
|---|---|---|
| committer | boehmes <unknown> | 2012-09-27 17:13:42 +0200 |
| commit | 623a87c132abec61b5c74a6a00a7b162073a6a8d (patch) | |
| tree | b95ba791592cf395ce99035715de98578a5519ee /Source/Core/Parser.cs | |
| parent | ed83becd12d7079e6ce2853fbebace20b1e7df5a (diff) | |
Boogie: new syntax for integer division and modulus: use div and mod instead of / and %
Diffstat (limited to 'Source/Core/Parser.cs')
| -rw-r--r-- | Source/Core/Parser.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs index e95bccda..8638d9c3 100644 --- a/Source/Core/Parser.cs +++ b/Source/Core/Parser.cs @@ -2157,8 +2157,8 @@ public class Errors { case 68: s = "\"++\" expected"; break;
case 69: s = "\"+\" expected"; break;
case 70: s = "\"-\" expected"; break;
- case 71: s = "\"/\" expected"; break;
- case 72: s = "\"%\" expected"; break;
+ case 71: s = "\"div\" expected"; break;
+ case 72: s = "\"mod\" expected"; break;
case 73: s = "\"!\" expected"; break;
case 74: s = "\"\\u00ac\" expected"; break;
case 75: s = "\"false\" expected"; break;
|