diff options
Diffstat (limited to 'Source/Model/Model.cs')
| -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");
|