Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed some trailing whitespace.

1 files changed, 7 insertions, 7 deletions

diff --git a/Source/Dafny/DafnyMain.cs b/Source/Dafny/DafnyMain.cs
index a18ea938..3f0b6e97 100644
--- a/Source/Dafny/DafnyMain.cs
+++ b/Source/Dafny/DafnyMain.cs
@@ -27,21 +27,21 @@ namespace Microsoft.Dafny {
         if (Bpl.CommandLineOptions.Clo.XmlSink != null && Bpl.CommandLineOptions.Clo.XmlSink.IsOpen) {

           Bpl.CommandLineOptions.Clo.XmlSink.WriteFileFragment(dafnyFileName);

         }

-        if (Bpl.CommandLineOptions.Clo.Trace) 

+        if (Bpl.CommandLineOptions.Clo.Trace)

         {

           Console.WriteLine("Parsing " + dafnyFileName);

         }

 

         int errorCount;

-        try 

+        try

         {

           errorCount = Dafny.Parser.Parse(dafnyFileName, modules, builtIns);

-          if (errorCount != 0) 

+          if (errorCount != 0)

           {

             return string.Format("{0} parse errors detected in {1}", errorCount, dafnyFileName);

           }

-        } 

-        catch (IOException e) 

+        }

+        catch (IOException e)

         {

           return string.Format("Error opening file \"{0}\": {1}", dafnyFileName, e.Message);

         }

@@ -61,7 +61,7 @@ namespace Microsoft.Dafny {
           }

         }

       }

-      

+

       if (Bpl.CommandLineOptions.Clo.NoResolve || Bpl.CommandLineOptions.Clo.NoTypecheck) { return null; }

 

       Dafny.Resolver r = new Dafny.Resolver(program);

@@ -73,4 +73,4 @@ namespace Microsoft.Dafny {
       return null;  // success

     }

   }

-}
\ No newline at end of file
+}