From 96e78e0d4ab9e2c2ccf1bb0565384e4e0d322904 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 22 Jun 2018 00:43:01 +0200
Subject: Move transparent_state to its own module.

---
 kernel/cClosure.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/cClosure.ml')

diff --git a/kernel/cClosure.ml b/kernel/cClosure.ml
index 95546a83e1..c8028f713a 100644
--- a/kernel/cClosure.ml
+++ b/kernel/cClosure.ml
@@ -93,8 +93,8 @@ module type RedFlagsSig = sig
   val no_red : reds
   val red_add : reds -> red_kind -> reds
   val red_sub : reds -> red_kind -> reds
-  val red_add_transparent : reds -> transparent_state -> reds
-  val red_transparent : reds -> transparent_state
+  val red_add_transparent : reds -> TranspState.t -> reds
+  val red_transparent : reds -> TranspState.t
   val mkflags : red_kind list -> reds
   val red_set : reds -> red_kind -> bool
   val red_projection : reds -> Projection.t -> bool
@@ -110,7 +110,7 @@ module RedFlags = (struct
     r_beta : bool;
     r_delta : bool;
     r_eta : bool;
-    r_const : transparent_state;
+    r_const : TranspState.t;
     r_zeta : bool;
     r_match : bool;
     r_fix : bool;
-- 
cgit v1.2.3