Use a nice warning symbol in some warning messages

This is useful because trigger-related messages can contain quite a bit of
information, especially if they include info about multiple split quantifiers.

1 files changed, 3 insertions, 1 deletions

diff --git a/Source/DafnyServer/Server.cs b/Source/DafnyServer/Server.cs
index 74cdd8c2..bdfd66b4 100644
--- a/Source/DafnyServer/Server.cs
+++ b/Source/DafnyServer/Server.cs
@@ -33,11 +33,13 @@ namespace Microsoft.Dafny {
     public Server() {

       this.running = true;

       Console.CancelKeyPress += this.CancelKeyPress;

+      Console.InputEncoding = System.Text.Encoding.UTF8;

+      Console.OutputEncoding = System.Text.Encoding.UTF8;

       ExecutionEngine.printer = new DafnyConsolePrinter();

     }

 

     void CancelKeyPress(object sender, ConsoleCancelEventArgs e) {

-      e.Cancel = true;

+      // e.Cancel = true;

       // FIXME TerminateProver and RunningProverFromCommandLine

       // Cancel the current verification? TerminateProver() ? Or kill entirely?

     }