1 files changed, 19 insertions, 19 deletions
diff --git a/Test/symdiff/foo.bpl b/Test/symdiff/foo.bpl
index 85d025d0..9d13ecd1 100644
--- a/Test/symdiff/foo.bpl
+++ b/Test/symdiff/foo.bpl
@@ -1,19 +1,19 @@
-// RUN: %boogie -z3multipleErrors -errorTrace:0 "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-procedure Foo(x:int) 
-{
-  var ok:bool;
-  
-  ok := true;  
-
-  if (x == 1) {
-     ok := false;
-  } else if (x == 2) {
-     ok := false;
-  } else if (x == 3) {
-     ok := false;
-  }
-    
-  assert ok;
-
-}
+// RUN: %boogie -z3multipleErrors -errorTrace:0 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+procedure Foo(x:int) 
+{
+  var ok:bool;
+  
+  ok := true;  
+
+  if (x == 1) {
+     ok := false;
+  } else if (x == 2) {
+     ok := false;
+  } else if (x == 3) {
+     ok := false;
+  }
+    
+  assert ok;
+
+}