blob: afeb57f9f273c4a255e83fabeef2f4feda03e631 (
plain)
1
2
3
4
5
|
(* -*- coq-prog-args: ("-compat" "8.8") -*- *)
(** Check that the current-minus-two compatibility flag actually requires the relevant modules. *)
Import Coq.Compat.Coq810.
Import Coq.Compat.Coq89.
Import Coq.Compat.Coq88.
|
