diff options
Diffstat (limited to 'kernel/cClosure.ml')
| -rw-r--r-- | kernel/cClosure.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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; |