diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 16:00:35 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 16:00:35 -0700 |
| commit | 2f5d59592c5930c32039855824cc49983f643641 (patch) | |
| tree | a13c8bfa6b6d2b29feeb00c7f7645fd3c498a5ff /Source/Dafny/Triggers/QuantifiersCollection.cs | |
| parent | 8823b0e75fbf0460ddea5e10f9ee61f5fa171b44 (diff) | |
Enable unicode output in the VS extension
Diffstat (limited to 'Source/Dafny/Triggers/QuantifiersCollection.cs')
| -rw-r--r-- | Source/Dafny/Triggers/QuantifiersCollection.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Triggers/QuantifiersCollection.cs b/Source/Dafny/Triggers/QuantifiersCollection.cs index ecc193fc..a6340f10 100644 --- a/Source/Dafny/Triggers/QuantifiersCollection.cs +++ b/Source/Dafny/Triggers/QuantifiersCollection.cs @@ -156,7 +156,7 @@ namespace Microsoft.Dafny.Triggers { AddTriggersToMessage("Rejected triggers:", q.RejectedCandidates, msg, indent, true);
#if QUANTIFIER_WARNINGS
- string WARN = (msg.Length > 0 ? indent : "") + (DafnyOptions.O.UnicodeOutput ? "⚠ " : "(!) "); //FIXME set unicodeoutput in extension
+ string WARN = (msg.Length > 0 ? indent : "") + (DafnyOptions.O.UnicodeOutput ? "⚠ " : "(!) ");
if (!q.CandidateTerms.Any()) {
errorLevel = ErrorLevel.Warning;
msg.Append(WARN).AppendLine("No terms found to trigger on.");
|