diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/obligations.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/obligations.ml b/toplevel/obligations.ml index 58201a5f82..ed315bcf5d 100644 --- a/toplevel/obligations.ml +++ b/toplevel/obligations.ml @@ -1008,7 +1008,7 @@ let next_obligation n tac = solve_obligation prg i tac let init_program () = - Coqlib.check_required_library ["Coq";"Init";"Datatypes"]; + Coqlib.check_required_library Coqlib.datatypes_module_name; Coqlib.check_required_library ["Coq";"Init";"Specif"]; Coqlib.check_required_library ["Coq";"Program";"Tactics"] |