From d9a975352e5982602d3315facfa005ea40b16bcb Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 30 Apr 2019 21:48:34 +0200
Subject: Remove leftover test suite file Quote.out

---
 test-suite/output/Quote.out | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 test-suite/output/Quote.out

diff --git a/test-suite/output/Quote.out b/test-suite/output/Quote.out
deleted file mode 100644
index 998eb37cc8..0000000000
--- a/test-suite/output/Quote.out
+++ /dev/null
@@ -1,24 +0,0 @@
-(interp_f (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (f_atom End_idx))
-(interp_f (Node_vm B (Empty_vm Prop) (Empty_vm Prop))
-   (f_and (f_const A)
-      (f_and (f_or (f_atom End_idx) (f_const A))
-         (f_or (f_const A) (f_not (f_atom End_idx))))))
-1 subgoal
-  
-  H : interp_f (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (f_atom End_idx) \/
-      B
-  ============================
-  interp_f
-    (Node_vm B (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (Empty_vm Prop))
-    (f_and (f_atom (Left_idx End_idx))
-       (f_and (f_or (f_atom End_idx) (f_atom (Left_idx End_idx)))
-          (f_or (f_atom (Left_idx End_idx)) (f_not (f_atom End_idx)))))
-1 subgoal
-  
-  H : interp_f (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (f_atom End_idx) \/
-      B
-  ============================
-  interp_f (Node_vm B (Empty_vm Prop) (Empty_vm Prop))
-    (f_and (f_const A)
-       (f_and (f_or (f_atom End_idx) (f_const A))
-          (f_or (f_const A) (f_not (f_atom End_idx)))))
-- 
cgit v1.2.3