Merge pull request #61 from SkySkimmer/nohdr

Adapt to coq/coq#15003 (user_err has no hdr argument)
coq-community · Oct 8, 2021 · da002e1 · da002e1
2 parents 118fc5b + 2c6895a
commit da002e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugin/bignums_syntax.ml b/plugin/bignums_syntax.ml
@@ -128,7 +128,7 @@ let bigN_of_pos_bigint ?loc n =
   DAst.make ?loc @@ GApp (ref_constructor, args)
 
 let bigN_error_negative ?loc =
-  CErrors.user_err ?loc ~hdr:"interp_bigN" (Pp.str "bigN are only non-negative numbers.")
+  CErrors.user_err ?loc Pp.(str "bigN are only non-negative numbers.")
 
 let interp_bigN ?loc n =
   if Z.(leq zero n) then