From cee337934c619bfeb646d83243eff1f08e83902d Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Fri, 3 Apr 2015 23:56:19 -0700
Subject: Whitespace deltas in test files (in particular, removing tabs and
 adjusting some indentation)

---
 Test/dafny0/Trait/TraitPolymorphism.dfy | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'Test/dafny0/Trait/TraitPolymorphism.dfy')

diff --git a/Test/dafny0/Trait/TraitPolymorphism.dfy b/Test/dafny0/Trait/TraitPolymorphism.dfy
index b1ee9eea..f53d8346 100644
--- a/Test/dafny0/Trait/TraitPolymorphism.dfy
+++ b/Test/dafny0/Trait/TraitPolymorphism.dfy
@@ -14,20 +14,20 @@ trait T1
    function method Mul (x:int, y:int, z:int) : int
      requires x>y;
    {
-	x * y * z
+     x * y * z
    }
    
    //function method BodyLess1() : int
    
    static method GetPhoneNumber (code:int, n:int) returns (z:int)
    {
-	z := code + n;
+     z := code + n;
    }
    
    method TestPhone ()
    {
-        var num : int;
-	num := GetPhoneNumber (10, 30028);
+     var num : int;
+     num := GetPhoneNumber (10, 30028);
    }
 }
 
-- 
cgit v1.2.3