summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>2015-06-20 09:18:25 -0700
committerGravatar akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>2015-06-20 09:18:25 -0700
commit28946971c2b9c9466b3146c08ef87d48d40654c2 (patch)
treed90d74e0a9cabbc08f94f967625139d4c5c69f16 /Source
parent0e851041485039a07684e0db5b584cd1237d3dfd (diff)
Missing braces
Diffstat (limited to 'Source')
-rw-r--r--Source/Houdini/Houdini.cs6
1 files changed, 4 insertions, 2 deletions
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;
}