diff options
Diffstat (limited to 'Source/Core/Inline.cs')
| -rw-r--r-- | Source/Core/Inline.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs index 47582868..00aa5631 100644 --- a/Source/Core/Inline.cs +++ b/Source/Core/Inline.cs @@ -98,6 +98,8 @@ namespace Microsoft.Boogie { this.prefix = "inline$";
}
+ // This method updates inliner.prefix so that prepending it to any string is guaranteed
+ // not to create a conflict with any of the in/out/local variables of impl
protected static void ComputeInlinerPrefix(Implementation impl, Inliner inliner)
{
foreach (var v in impl.InParams)
|