From f392ad50331d3e59d3e2f3ec66c0a42112506d7f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 18 Aug 2017 16:48:00 +0200
Subject: Laxer dependencies between file and link reordering.

---
 src/tac2core.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/tac2core.mli')

diff --git a/src/tac2core.mli b/src/tac2core.mli
index 6fd48e85f7..d9ed8ea2e5 100644
--- a/src/tac2core.mli
+++ b/src/tac2core.mli
@@ -27,8 +27,4 @@ val t_array : type_constant
 val c_true : ltac_constructor
 val c_false : ltac_constructor
 
-val t_qhyp : type_constant
-val c_anon_hyp : ltac_constructor
-val c_named_hyp : ltac_constructor
-
 end
-- 
cgit v1.2.3