diff options
Diffstat (limited to 'Source/DafnyServer')
| -rw-r--r-- | Source/DafnyServer/Server.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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 {
|