diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-11-28 18:15:12 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-11-28 18:15:12 -0800 |
| commit | 27b00332defaa2cca30a2e4035714a3e51e2eade (patch) | |
| tree | 41ed2d9b7323a75bfcebba3f1ad1e56d6c6bd2ab /Source/Model | |
| parent | b63145605000e71d881494628e67321d2d6d1455 (diff) | |
fixed a bug in model parsing
Diffstat (limited to 'Source/Model')
| -rw-r--r-- | Source/Model/Model.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 310a25af..07a0af3e 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -836,10 +836,11 @@ namespace Microsoft.Boogie }
if (words.Count == 3 && words[1] is string && ((string) words[1]) == "->") {
- Func fn = null;
var funName = (string) words[0];
+ Func fn = null;
if (lastWord is string && ((string) lastWord) == "{") {
+ fn = currModel.TryGetFunc(funName);
for ( ; ; ) {
var tuple = GetFunctionTuple(ReadLine());
if (tuple == null) BadModel("EOF in function table");
|