Fix compilation on Coq master.

coq-community · Feb 13, 2024 · 472705a · 472705a
1 parent 9184704
commit 472705a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugin/bignums_syntax.ml b/plugin/bignums_syntax.ml
@@ -198,7 +198,7 @@ let bigN_list_of_constructors =
 let declare_numeral_interpreter uid sc dir interp (patl,uninterp,b) =
   let open Notation in
   register_bignumeral_interpretation uid (interp,uninterp);
-  { pt_local = false;
+  enable_prim_token_interpretation { pt_local = false;
     pt_scope = sc;
     pt_interp_info = Uid uid;
     pt_required = dir;