diff options
| -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() {
|