From edfa5e986a25eb7a0719d20b43a618cb5bd4cd95 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Tue, 9 Sep 2014 22:13:08 +0200 Subject: VernacExtend does not dispatch on type anymore. --- stm/vernac_classifier.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stm/vernac_classifier.mli') diff --git a/stm/vernac_classifier.mli b/stm/vernac_classifier.mli index bc0c0c2b3..329c90198 100644 --- a/stm/vernac_classifier.mli +++ b/stm/vernac_classifier.mli @@ -16,7 +16,7 @@ val classify_vernac : vernac_expr -> vernac_classification (** Install a vernacular classifier for VernacExtend *) val declare_vernac_classifier : - string -> (raw_generic_argument list -> unit -> vernac_classification) -> unit + Vernacexpr.extend_name -> (raw_generic_argument list -> unit -> vernac_classification) -> unit (** Set by Stm *) val set_undo_classifier : (vernac_expr -> vernac_classification) -> unit -- cgit v1.2.3