diff options
| author |  akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-06-20 09:18:25 -0700 |
|---|---|---|
| committer | akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-06-20 09:18:25 -0700 |
| commit | 28946971c2b9c9466b3146c08ef87d48d40654c2 (patch) | |
| tree | d90d74e0a9cabbc08f94f967625139d4c5c69f16 /Source/Houdini | |
| parent | 0e851041485039a07684e0db5b584cd1237d3dfd (diff) | |
Missing braces
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 6 |
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;
}
|