From 5395287cc2f758d94bec8befe8956ba2dcc3940c Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 15 Dec 2016 14:28:31 +1100
Subject: Old uncommitted changes

---
 test/assume.art | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'test/assume.art')

diff --git a/test/assume.art b/test/assume.art
index ef47474..2d6e097 100644
--- a/test/assume.art
+++ b/test/assume.art
@@ -1,8 +1,8 @@
-"bool"
-const
-"bool"
-typeOp
-nil
-opType
-constTerm
-assume
+"bool"
+const
+"bool"
+typeOp
+nil
+opType
+constTerm
+assume
-- 
cgit