From 2c6895aa3c26ee421624d858f05f3971cb384c85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Fri, 8 Oct 2021 17:19:07 +0200
Subject: [PATCH] Adapt to coq/coq#15003 (user_err has no hdr argument)

Backwards compatible (hdr was optional)
---
 plugin/bignums_syntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugin/bignums_syntax.ml b/plugin/bignums_syntax.ml
index 1f668aa..e47e264 100644
--- 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