From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Mon, 6 Jun 2016 23:14:18 -0600
Subject: Merging complete.  Everything looks good *crosses fingers*

---
 Test/datatypes/t1.bpl | 50 +++++++++++++++++++++++++-------------------------
 1 file changed, 25 insertions(+), 25 deletions(-)

(limited to 'Test/datatypes/t1.bpl')

diff --git a/Test/datatypes/t1.bpl b/Test/datatypes/t1.bpl
index f0488639..876d879d 100644
--- a/Test/datatypes/t1.bpl
+++ b/Test/datatypes/t1.bpl
@@ -1,26 +1,26 @@
-// RUN: %boogie -typeEncoding:m "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-type TT;
-type {:datatype} Tree;
-function {:constructor} leaf() : Tree;
-function {:constructor} node(value:TT, children:TreeList) : Tree;
-
-type {:datatype} TreeList;
-function {:constructor} cons(car:Tree, cdr:TreeList) : TreeList;
-function {:constructor} nil() : TreeList;
-
-procedure foo() 
-{
-  var a: Tree;
-  var b: TreeList;
-  var x: TT;
-
-  assert value#node(node(x, nil())) == x;
-  assert children#node(node(x, nil())) == nil();
-  
-  assert (cons(leaf(), nil()) != nil());
-
-  assert is#nil(nil());
-
-  assert is#node(leaf());
+// RUN: %boogie -typeEncoding:m "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+type TT;
+type {:datatype} Tree;
+function {:constructor} leaf() : Tree;
+function {:constructor} node(value:TT, children:TreeList) : Tree;
+
+type {:datatype} TreeList;
+function {:constructor} cons(car:Tree, cdr:TreeList) : TreeList;
+function {:constructor} nil() : TreeList;
+
+procedure foo() 
+{
+  var a: Tree;
+  var b: TreeList;
+  var x: TT;
+
+  assert value#node(node(x, nil())) == x;
+  assert children#node(node(x, nil())) == nil();
+  
+  assert (cons(leaf(), nil()) != nil());
+
+  assert is#nil(nil());
+
+  assert is#node(leaf());
 }
\ No newline at end of file
-- 
cgit v1.2.3