From 8695668ca1121dde6a91f7a0c00ef0b065104c40 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Fri, 21 Aug 2015 09:40:58 -0700
Subject: Give up on trying to set the console's input encoding to UTF8

Fortunately, the server spec already assumes an ASCII input channel.
---
 Source/DafnyServer/Server.cs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'Source/DafnyServer')

diff --git a/Source/DafnyServer/Server.cs b/Source/DafnyServer/Server.cs
index 77840007..8c94ad5b 100644
--- a/Source/DafnyServer/Server.cs
+++ b/Source/DafnyServer/Server.cs
@@ -31,9 +31,8 @@ namespace Microsoft.Dafny {
     }
 
     private void SetupConsole() {
-      var utf8 = new UTF8Encoding(false, true);
-      Console.InputEncoding = utf8;
-      Console.OutputEncoding = utf8;
+      // Setting InputEncoding to UTF8 causes z3 to choke.
+      Console.OutputEncoding = new UTF8Encoding(false, true);
     }
 
     public Server() {
-- 
cgit v1.2.3