[wp] export pedantic-assigns key

src/plugins/wp/AssignsCompleteness.mli

@@ -34,3 +34,5 @@ val is_complete: Kernel_function.t -> bool
 val warn: Kernel_function.t -> unit
 (** Displays a warning if the given kernel function has incomplete assigns.
     Note that the warning is configured with [~once] set to [true]. *)
+
+val wkey_pedantic: Wp_parameters.warn_category

src/plugins/wp/Makefile.in

@@ -234,7 +234,7 @@ WP_API_BASE= \
 	LogicUsage.mli RefUsage.mli \
 	normAtLabels.mli \
 	wpPropId.mli mcfg.ml \
-	Context.mli Warning.mli wpContext.mli \
+	Context.mli Warning.mli AssignsCompleteness.mli wpContext.mli \
 	Lang.mli Repr.mli Passive.mli Splitter.mli \
 	LogicBuiltins.mli Definitions.mli \
 	Cint.mli Cfloat.mli Vset.mli Cstring.mli \