path: root/test-suite/success/CompatCurrentFlag.v

(* -*- coq-prog-args: ("-compat" "8.13") -*- *)
(** Check that the current compatibility flag actually requires the relevant modules. *)
Import Coq.Compat.Coq813.