diff options
| author |  wuestholz <unknown> | 2014-09-23 11:32:04 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-09-23 11:32:04 +0200 |
| commit | fb226b8b4b9315a0ad2df1fcd1b4a7f12e118791 (patch) | |
| tree | 9245479972ed887b26b013ba4fb6c05862767846 /Source/Core/Duplicator.cs | |
| parent | 2031fb15596b2a114f7b3e0bb85ff838507051a0 (diff) | |
Did some refactoring.
Diffstat (limited to 'Source/Core/Duplicator.cs')
| -rw-r--r-- | Source/Core/Duplicator.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs index 86311d18..6dd030e8 100644 --- a/Source/Core/Duplicator.cs +++ b/Source/Core/Duplicator.cs @@ -641,7 +641,7 @@ namespace Microsoft.Boogie { if (funCall != null)
{
// TODO(wuestholz): Maybe we should speed up this lookup.
- funCall.Func = Program.TopLevelDeclarations.OfType<Function>().FirstOrDefault(f => f.Name == funCall.FunctionName);
+ funCall.Func = Program.Functions.FirstOrDefault(f => f.Name == funCall.FunctionName);
}
}
return result;
|