From fd15838d416860cd7fe9e5303fb4d624d0b82ab3 Mon Sep 17 00:00:00 2001
From: Reza Ahmadi <reza.ahmadi@uta.fi>
Date: Wed, 5 Nov 2014 20:49:26 +0200
Subject: Now the parser parses "Type" rather than "IToken" for a trait

---
 Source/DafnyDriver/DafnyDriver.cs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Source/DafnyDriver')

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 2bda7cf0..16349ccc 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -39,7 +39,7 @@ namespace Microsoft.Dafny
     public static int ThreadMain(string[] args)
     {
       Contract.Requires(cce.NonNullElements(args));
-
+         
       printer = new DafnyConsolePrinter();
       ExecutionEngine.printer = printer;
 
@@ -51,7 +51,7 @@ namespace Microsoft.Dafny
         exitValue = ExitValue.PREPROCESSING_ERROR;
         goto END;
       }
-      //CommandLineOptions.Clo.Files = new List<string> { @"C:\dafny\Test\dafny0\Trait\TraitOverride1.dfy" };
+      //CommandLineOptions.Clo.Files = new List<string> { @"C:\dafny\Test\dafny0\Trait\TraitExtend.dfy" };
 
       if (CommandLineOptions.Clo.Files.Count == 0)
       {
@@ -109,6 +109,7 @@ namespace Microsoft.Dafny
           // TODO(wuestholz): We should probably add a separate flag for this. This is currently only used by the new testing infrastructure.
           return 0;
         }
+        //Console.ReadKey();
         return (int)exitValue;
     }
 
-- 
cgit v1.2.3