diff options
Diffstat (limited to 'Source/Core/Util.cs')
| -rw-r--r-- | Source/Core/Util.cs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index f8b8b82b..9a7fec0c 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -486,6 +486,12 @@ namespace Microsoft.Boogie { case Microsoft.Boogie.BinaryOperator.Opcode.Or:
op = " || ";
break;
+ case Microsoft.Boogie.BinaryOperator.Opcode.Pow:
+ op = " ** ";
+ break;
+ case Microsoft.Boogie.BinaryOperator.Opcode.RealDiv:
+ op = " / ";
+ break;
case Microsoft.Boogie.BinaryOperator.Opcode.Sub:
op = " - ";
break;
|