From 535f4736f3632e8959a7ebc7f5f43c8d6abc1325 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 13 Mar 2018 14:39:05 +0000
Subject: Merge funcls for Lem output, making it suitable for testing with
 OCaml

---
 test/mono/not-yet/control_deps | 1 -
 test/mono/pass/control_deps    | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 test/mono/not-yet/control_deps
 create mode 100644 test/mono/pass/control_deps

(limited to 'test')

diff --git a/test/mono/not-yet/control_deps b/test/mono/not-yet/control_deps
deleted file mode 100644
index e173c42f..00000000
--- a/test/mono/not-yet/control_deps
+++ /dev/null
@@ -1 +0,0 @@
-control_deps.sail -auto_mono
\ No newline at end of file
diff --git a/test/mono/pass/control_deps b/test/mono/pass/control_deps
new file mode 100644
index 00000000..e173c42f
--- /dev/null
+++ b/test/mono/pass/control_deps
@@ -0,0 +1 @@
+control_deps.sail -auto_mono
\ No newline at end of file
-- 
cgit v1.2.3