Removed tab characters.

3 files changed, 7 insertions, 7 deletions

diff --git a/Dafny/Dafny.atg b/Dafny/Dafny.atg
index c69a6838..ac573660 100644
--- a/Dafny/Dafny.atg
+++ b/Dafny/Dafny.atg
@@ -606,7 +606,7 @@ FunctionSpec<.List<Expression/*!*/>/*!*/ reqs, List<FrameExpression/*!*/>/*!*/ r
   | "reads" [ PossiblyWildFrameExpression<out fe>              (. reads.Add(fe); .)

               { "," PossiblyWildFrameExpression<out fe>        (. reads.Add(fe); .)

               }

-	        ] ";"

+            ] ";"

   | "ensures" Expression<out e> ";"      (. ens.Add(e); .)

   | "decreases" DecreasesList<decreases, false> ";"

   )

@@ -708,7 +708,7 @@ ReturnStmt<out Statement/*!*/ s>
    .)

   "return"                           (. returnTok = t; .)

   [

-	  Rhs<out r, null>               (. rhss = new List<AssignmentRhs>(); rhss.Add(r); .)

+      Rhs<out r, null>               (. rhss = new List<AssignmentRhs>(); rhss.Add(r); .)

       { "," Rhs<out r, null>         (. rhss.Add(r); .)

         }

   ]

diff --git a/Test/dafny0/ReturnErrors.dfy b/Test/dafny0/ReturnErrors.dfy
index 1141808a..7f1c2948 100644
--- a/Test/dafny0/ReturnErrors.dfy
+++ b/Test/dafny0/ReturnErrors.dfy
@@ -7,7 +7,7 @@ class N
       modifies this, n;

    {

       n.i := 1;

-	  i := 1;

+      i := 1;

    }

    method safe(n: N)

       requires n != null;

@@ -27,16 +27,16 @@ method testing1() returns (s: int)
    ensures s == 3;

 {

    var n := new N;

-   return m(3, n); // methods disallowed.

+   return m(3, n); // ERROR: methods disallowed.

 }

 method testing2() returns (s: int, b: int)

    ensures s == 3;

 {

    var n := new N;

-   return m(3, n), 2; // methods disallowed.

+   return m(3, n), 2; // ERROR: methods disallowed.

 }

 

 method testing3() returns (n: N)

 {

-   return new N.newN(n); // disallowed, as newN() modifies n

+   return new N.newN(n); // ERROR: disallowed, as newN() modifies n

 }
\ No newline at end of file
diff --git a/Test/dafny0/ReturnTests.dfy b/Test/dafny0/ReturnTests.dfy
index a4d7fca0..ee60bc72 100644
--- a/Test/dafny0/ReturnTests.dfy
+++ b/Test/dafny0/ReturnTests.dfy
@@ -7,7 +7,7 @@ class N
       modifies this, n;

    {

       n.i := 1;

-	  i := 1;

+      i := 1;

    }

    method safe(n: N)

       requires n != null;