From 2f5d59592c5930c32039855824cc49983f643641 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 19 Aug 2015 16:00:35 -0700
Subject: Enable unicode output in the VS extension

---
 Source/DafnyExtension/DafnyDriver.cs    | 1 +
 Source/DafnyExtension/ResolverTagger.cs | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 36664a9b..30b0bd52 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -40,6 +40,7 @@ namespace DafnyLanguage
         options.ErrorTrace = 0;
         options.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
         options.ModelViewFile = "-";
+        options.UnicodeOutput = true;
         Dafny.DafnyOptions.Install(options);
 
         // Read additional options from DafnyOptions.txt
diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs
index 0ce68809..22706338 100644
--- a/Source/DafnyExtension/ResolverTagger.cs
+++ b/Source/DafnyExtension/ResolverTagger.cs
@@ -403,7 +403,7 @@ namespace DafnyLanguage
         chng(this, new SnapshotSpanEventArgs(new SnapshotSpan(snapshot, 0, snapshot.Length)));
     }
 
-    static TaskErrorCategory CategoryConversion(ErrorCategory cat) //CLEMENT: We've lost that info
+    static TaskErrorCategory CategoryConversion(ErrorCategory cat)
     {
       switch (cat)
       {
-- 
cgit v1.2.3