diff options
author | 2012-09-27 17:13:42 +0200 | |
---|---|---|
committer | 2012-09-27 17:13:42 +0200 | |
commit | 623a87c132abec61b5c74a6a00a7b162073a6a8d (patch) | |
tree | b95ba791592cf395ce99035715de98578a5519ee /Source/Core/Util.cs | |
parent | ed83becd12d7079e6ce2853fbebace20b1e7df5a (diff) |
Boogie: new syntax for integer division and modulus: use div and mod instead of / and %
Diffstat (limited to 'Source/Core/Util.cs')
-rw-r--r-- | Source/Core/Util.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index a8e12f63..f8b8b82b 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -451,7 +451,7 @@ namespace Microsoft.Boogie { op = " && ";
break;
case Microsoft.Boogie.BinaryOperator.Opcode.Div:
- op = " / ";
+ op = " div ";
break;
case Microsoft.Boogie.BinaryOperator.Opcode.Eq:
op = " == ";
@@ -475,7 +475,7 @@ namespace Microsoft.Boogie { op = " < ";
break;
case Microsoft.Boogie.BinaryOperator.Opcode.Mod:
- op = " % ";
+ op = " mod ";
break;
case Microsoft.Boogie.BinaryOperator.Opcode.Mul:
op = " * ";
|