From 28946971c2b9c9466b3146c08ef87d48d40654c2 Mon Sep 17 00:00:00 2001
From: akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>
Date: Sat, 20 Jun 2015 09:18:25 -0700
Subject: Missing braces

---
 Source/Houdini/Houdini.cs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Source/Houdini')

diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 986d0fff..acdb1ff4 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -519,8 +519,10 @@ namespace Microsoft.Boogie.Houdini {
         }
 
         if (GetCandidateWithoutConstant(consequent, candidates, out candidateConstant, out exprWithoutConstant))
-          exprWithoutConstant = Expr.Imp(antecedent, exprWithoutConstant);
-          return true;
+        {
+            exprWithoutConstant = Expr.Imp(antecedent, exprWithoutConstant);
+            return true;
+        }
       }
       return false;
     }
-- 
cgit v1.2.3