blob: a737e0c98eea5ef46d3d095ecc9a098d27a447e6 (
plain)
1
2
3
4
5
|
(* -*- coq-prog-args: ("-compat" "8.12") -*- *)
(** Check that the current-minus-two compatibility flag actually requires the relevant modules. *)
Import Coq.Compat.Coq814.
Import Coq.Compat.Coq813.
Import Coq.Compat.Coq812.
|
