diff options
Diffstat (limited to 'library/dischargedhypsmap.mli')
-rw-r--r-- | library/dischargedhypsmap.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/library/dischargedhypsmap.mli b/library/dischargedhypsmap.mli index bc90220db..f2173bf49 100644 --- a/library/dischargedhypsmap.mli +++ b/library/dischargedhypsmap.mli @@ -13,8 +13,8 @@ open Nametab type discharged_hyps = full_path list -(** Discharged hypothesis. Here we store the discharged hypothesis of each - constant or inductive type declaration. *) +(** Discharged hypothesis. Here we store the discharged hypothesis of each + constant or inductive type declaration. *) val set_discharged_hyps : full_path -> discharged_hyps -> unit val get_discharged_hyps : full_path -> discharged_hyps |