From b070084f5a5b0c24870c7c9f448c592887c09e88 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Mon, 9 Sep 2013 10:26:42 -0700
Subject: fixed bug

---
 Source/VCExpr/Boogie2VCExpr.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/VCExpr')

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)
-- 
cgit v1.2.3