diff options
author | qadeer <qadeer@microsoft.com> | 2012-02-06 23:25:55 -0800 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2012-02-06 23:25:55 -0800 |
commit | 3779b9edc042b2ab7330eb22bcc6fd32a1858bc2 (patch) | |
tree | 81d861ec9ea3942fbece55bc1555eb777b6b7788 /Source/Model | |
parent | 77c2db2ed5f2f0faeb8d5fe31838f270b66ff1c4 (diff) |
fixed bug in model parsing
converted a bunch of definitions to be inlined
Diffstat (limited to 'Source/Model')
-rw-r--r-- | Source/Model/Model.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 0b20ff33..4838c347 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -850,7 +850,7 @@ namespace Microsoft.Boogie if (fn == null)
fn = currModel.MkFunc(funName, 1);
if (tuple0 == "}") break;
- fn.Else = GetElt(tuple0);
+ fn.Else = GetElt(tuple[0]);
continue;
}
string tuplePenultimate = tuple[tuple.Count - 2] as string;
|