diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-21 09:40:58 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-21 09:40:58 -0700 |
commit | 8695668ca1121dde6a91f7a0c00ef0b065104c40 (patch) | |
tree | be237d0ce2b2b9f7637cbd6dc6aac5761c5a7b5a /Source/DafnyServer | |
parent | b819c42e85eb8ac0968abeab9f3fa3420a5dd760 (diff) |
Give up on trying to set the console's input encoding to UTF8
Fortunately, the server spec already assumes an ASCII input channel.
Diffstat (limited to 'Source/DafnyServer')
-rw-r--r-- | Source/DafnyServer/Server.cs | 5 |
1 files changed, 2 insertions, 3 deletions
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() {
|