From c2412dac63c97bb024afe4517f7ed5bc14b9cc28 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Sun, 13 Apr 2014 18:59:56 +1000
Subject: Fixed casing

---
 Test/assume.art | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 Test/assume.art

(limited to 'Test/assume.art')

diff --git a/Test/assume.art b/Test/assume.art
deleted file mode 100644
index ef47474..0000000
--- a/Test/assume.art
+++ /dev/null
@@ -1,8 +0,0 @@
-"bool"
-const
-"bool"
-typeOp
-nil
-opType
-constTerm
-assume
-- 
cgit