diff options
| author |  MichalMoskal <unknown> | 2011-02-16 00:17:01 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-16 00:17:01 +0000 |
| commit | 8205927a5e3d42700db73583aa1291d7543b23e5 (patch) | |
| tree | be906befa580694de1b9eac28bdacbeee2901af5 /Source/Provers/SMTLib/SMTLibNamer.cs | |
| parent | 4ffa81d2c6df5570ae36b4bd01495e185bc15dac (diff) | |
Fix printing of type-proxies
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibNamer.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibNamer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibNamer.cs b/Source/Provers/SMTLib/SMTLibNamer.cs index 3de2e81d..2f8e86c8 100644 --- a/Source/Provers/SMTLib/SMTLibNamer.cs +++ b/Source/Provers/SMTLib/SMTLibNamer.cs @@ -104,7 +104,7 @@ namespace Microsoft.Boogie.SMTLib public SMTLibNamer()
{
- this.Spacer = "@@";
+ this.Spacer = "__";
InitSymbolLists();
}
}
|