From 8823b0e75fbf0460ddea5e10f9ee61f5fa171b44 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 19 Aug 2015 15:58:20 -0700
Subject: server: always print tooltips

---
 Source/DafnyServer/Utilities.cs | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'Source/DafnyServer')

diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs
index 5bd6e7d5..3bc334b3 100644
--- a/Source/DafnyServer/Utilities.cs
+++ b/Source/DafnyServer/Utilities.cs
@@ -50,10 +50,11 @@ namespace Microsoft.Dafny {
       if (CommandLineOptions.Clo.Parse(args)) {
         // Dafny.DafnyOptions.O.ErrorTrace = 0; //FIXME
         // Dafny.DafnyOptions.O.ModelViewFile = "-";
-        Dafny.DafnyOptions.O.UnicodeOutput = true;
-        Dafny.DafnyOptions.O.VerifySnapshots = 2;
-        Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
-        Dafny.DafnyOptions.O.Trace = trace;
+        DafnyOptions.O.PrintTooltips = true;
+        DafnyOptions.O.UnicodeOutput = true;
+        DafnyOptions.O.VerifySnapshots = 2;
+        DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
+        DafnyOptions.O.Trace = trace;
       } else {
         throw new ServerException("Invalid command line options");
       }
-- 
cgit v1.2.3