diff options
Diffstat (limited to 'checker/closure.ml')
| -rw-r--r-- | checker/closure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/closure.ml b/checker/closure.ml index b55c5848e..c710df816 100644 --- a/checker/closure.ml +++ b/checker/closure.ml @@ -378,7 +378,7 @@ let defined_rels flags env = (rel_context env) ~init:(0,[]) (* else (0,[])*) -let mind_equiv_infos info = mind_equiv info.i_env +let mind_equiv_infos info = eq_ind let create mk_cl flgs env = { i_flags = flgs; |