Merge PR #8917: Small cleanup wrt attributes_of_flags and template attribute

1 files changed, 1 insertions, 16 deletions

diff --git a/vernac/attributes.mli b/vernac/attributes.mli
index c2dde4cbcc..6a32960a9d 100644
--- a/vernac/attributes.mli
+++ b/vernac/attributes.mli
@@ -49,28 +49,13 @@ val mk_deprecation : ?since: string option -> ?note: string option -> unit -> de
 
 val polymorphic : bool attribute
 val program : bool attribute
-val universe_poly_template : (bool * bool option) attribute
+val template : bool option attribute
 val locality : bool option attribute
 val deprecation : deprecation option attribute
 
 val program_opt : bool option attribute
 (** For internal use when messing with the global option. *)
 
-type t = {
-  locality : bool option;
-  polymorphic : bool;
-  template : bool option;
-  program : bool;
-  deprecated : deprecation option;
-}
-(** Some attributes gathered in a adhoc record. Will probably be
-   removed at some point. *)
-
-val attributes_of_flags : vernac_flags -> t
-(** Parse the attributes supported by type [t]. Errors on other
-   attributes. Polymorphism and Program use the global flags as
-   default values. *)
-
 val only_locality : vernac_flags -> bool option
 (** Parse attributes allowing only locality. *)