From bc04d3196a62a52caca96014448b7b966baedd0c Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 16 Jul 2019 14:38:44 +0200
Subject: Move unfold_side_flags CClosure -> Tacred internals

---
 kernel/cClosure.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'kernel/cClosure.mli')

diff --git a/kernel/cClosure.mli b/kernel/cClosure.mli
index 027d5245c9..cd1de4c834 100644
--- a/kernel/cClosure.mli
+++ b/kernel/cClosure.mli
@@ -84,10 +84,6 @@ val delta             : reds
 val zeta              : reds
 val nored             : reds
 
-
-val unfold_side_red : reds
-val unfold_red : evaluable_global_reference -> reds
-
 (***********************************************************************)
 type table_key = Constant.t Univ.puniverses tableKey
 
-- 
cgit v1.2.3