diff options
| author |  wuestholz <unknown> | 2013-07-09 18:05:02 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-09 18:05:02 -0700 |
| commit | 6ddfc55a74142aa6cf6eeefc3e48a648fff40ba4 (patch) | |
| tree | 9772b83ecab3191cbd4b96c3177c7cc23e3c366d /Source/Dafny/Translator.cs | |
| parent | f93c55627c696c48406cbaf414463d2a69e6c6f7 (diff) | |
DafnyExtension: Integrated support for multiple Z3 instances in Boogie (incl. request cancellation).
Diffstat (limited to 'Source/Dafny/Translator.cs')
| -rw-r--r-- | Source/Dafny/Translator.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs index 11bc1ef6..392a6f17 100644 --- a/Source/Dafny/Translator.cs +++ b/Source/Dafny/Translator.cs @@ -2383,7 +2383,7 @@ namespace Microsoft.Dafny { var prefix = UniqueIdPrefix ?? decl.tok.filename;
if (impl != null && !string.IsNullOrEmpty(prefix))
{
- decl.AddAttribute("id", prefix + ":" + impl.Id);
+ decl.AddAttribute("id", prefix + ":" + impl.Name + ":0");
}
}
|