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/axiom.art | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'test/axiom.art')

diff --git a/test/axiom.art b/test/axiom.art
index bcf79bf..5940bc6 100644
--- a/test/axiom.art
+++ b/test/axiom.art
@@ -1,9 +1,9 @@
-nil
-"name"
-const
-"bool"
-typeOp
-nil
-opType
-constTerm
-axiom
+nil
+"name"
+const
+"bool"
+typeOp
+nil
+opType
+constTerm
+axiom
-- 
cgit