diff options
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index 67333752..5618fafa 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -507,7 +507,8 @@ namespace Microsoft.Boogie { var args = new Model.Element[arity];
foreach (var l in tuples) {
if (l.Count == 1) {
- f.Else = elts[l[0]];
+ if (f.Else == null)
+ f.Else = elts[l[0]];
} else {
for (int i = 0; i < f.Arity; ++i)
args[i] = elts[l[i]];
|