From 99c062c028c7f4e94fb38cde50772cfd3ea5ad3b Mon Sep 17 00:00:00 2001
From: Derick Huth <derickhuth@gmail.com>
Date: Thu, 24 Sep 2015 11:34:04 -0600
Subject: v0.2.1

---
 test-chill/test-cases/chill/test_known.script | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 test-chill/test-cases/chill/test_known.script

(limited to 'test-chill/test-cases/chill/test_known.script')

diff --git a/test-chill/test-cases/chill/test_known.script b/test-chill/test-cases/chill/test_known.script
deleted file mode 100644
index 6772e18..0000000
--- a/test-chill/test-cases/chill/test_known.script
+++ /dev/null
@@ -1,9 +0,0 @@
-source: mm.c
-procedure: mm
-format: rose
-loop: 0
-
-known(ambn > 0)
-known(an > 0)
-known(bm > 0)
-print
-- 
cgit v1.2.3-70-g09d2