diff options
| author | Pierre-Marie Pédrot | 2018-11-19 08:12:28 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-19 13:29:55 +0100 |
| commit | 733cb74a2038ff92156b7209713fc2ea741ccca6 (patch) | |
| tree | ee664936850ce6160d9e3fc3219b9dba7b7ea096 /plugins/firstorder | |
| parent | ad5aea737ecc639c31dda84322b3550a4d380b47 (diff) | |
Rename TranspState into TransparentState.
Diffstat (limited to 'plugins/firstorder')
| -rw-r--r-- | plugins/firstorder/ground.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/firstorder/ground.ml b/plugins/firstorder/ground.ml index 820dd97043..6a80525200 100644 --- a/plugins/firstorder/ground.ml +++ b/plugins/firstorder/ground.ml @@ -18,12 +18,12 @@ open Tacticals.New open Globnames let update_flags ()= - let open TranspState in + let open TransparentState in let f accu coe = match coe.Classops.coe_value with | ConstRef kn -> { accu with tr_cst = Names.Cpred.remove kn accu.tr_cst } | _ -> accu in - let flags = List.fold_left f TranspState.full (Classops.coercions ()) in + let flags = List.fold_left f TransparentState.full (Classops.coercions ()) in red_flags:= CClosure.RedFlags.red_add_transparent CClosure.betaiotazeta |