blob: dd259988ac37fd02cb5323ed75fb78ac8613fc2c (
plain)
1
2
3
4
5
6
|
(* -*- coq-prog-args: ("-compat" "8.9") -*- *)
(** Check that the current-minus-three compatibility flag actually requires the relevant modules. *)
Import Coq.Compat.Coq812.
Import Coq.Compat.Coq811.
Import Coq.Compat.Coq810.
Import Coq.Compat.Coq89.
|
