blob: 9cfe60390f01bd8fde8881bb2ea3bcd7d6003dda (
plain)
1
2
3
4
|
(* -*- coq-prog-args: ("-compat" "8.7") -*- *)
(** Check that the current-minus-one compatibility flag actually requires the relevant modules. *)
Import Coq.Compat.Coq88.
Import Coq.Compat.Coq87.
|