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.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/tac2core.ml')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index 3ce2ed53a8..bf41713215 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -45,10 +45,6 @@ let c_some = coq_core "Some"
 let c_true = coq_core "true"
 let c_false = coq_core "false"
 
-let t_qhyp = std_core "hypothesis"
-let c_named_hyp = std_core "NamedHyp"
-let c_anon_hyp = std_core "AnonHyp"
-
 end
 
 open Core
-- 
cgit v1.2.3