From 65334f8f33c92a1e37376d6484d60ee45b55ca1d Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Fri, 31 Jul 2015 15:11:03 -0700
Subject: Add tests for the server

---
 Source/DafnyServer/Server.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyServer')

diff --git a/Source/DafnyServer/Server.cs b/Source/DafnyServer/Server.cs
index c6f619d3..74cdd8c2 100644
--- a/Source/DafnyServer/Server.cs
+++ b/Source/DafnyServer/Server.cs
@@ -22,7 +22,7 @@ namespace Microsoft.Dafny {
       if (hasArg && args[0] == "selftest") {
         VerificationTask.SelfTest();
       } else if (hasArg && File.Exists(arg)) {
-        Console.WriteLine("# Reading from {0}", arg);
+        Console.WriteLine("# Reading from {0}", Path.GetFileName(arg));
         Console.SetIn(new StreamReader(arg));
         server.Loop();
       } else {
-- 
cgit v1.2.3