diff options
| author |  qadeer <unknown> | 2013-09-09 10:26:42 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2013-09-09 10:26:42 -0700 |
| commit | b070084f5a5b0c24870c7c9f448c592887c09e88 (patch) | |
| tree | af26f3c2a26768b15cd446690ba576530dbea873 /Source/VCExpr | |
| parent | de61793a49fee8bc365dcf3a76a5bf9991e8b3cb (diff) | |
fixed bug
Diffstat (limited to 'Source/VCExpr')
| -rw-r--r-- | Source/VCExpr/Boogie2VCExpr.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs index c5c61546..a6b01760 100644 --- a/Source/VCExpr/Boogie2VCExpr.cs +++ b/Source/VCExpr/Boogie2VCExpr.cs @@ -384,7 +384,7 @@ namespace Microsoft.Boogie.VCExprAST { if (node.Fun is UnaryOperator)
{
UnaryOperator oper = (UnaryOperator)node.Fun;
- if (oper.Op == UnaryOperator.Opcode.Neg)
+ if (oper.Op == UnaryOperator.Opcode.Not)
flipContextForArg0 = true;
}
else if (node.Fun is BinaryOperator)
|