From e9d44aefa9d6058c72845788745468aa010708b5 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 23 Aug 2018 15:10:58 -0400
Subject: Make Numeral Notation obey Local/Global

Thanks to Emilio and Pierre-Marie Pédrot for pointers.
---
 plugins/syntax/int31_syntax.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'plugins/syntax/int31_syntax.ml')

diff --git a/plugins/syntax/int31_syntax.ml b/plugins/syntax/int31_syntax.ml
index 731eae349a..d3ffe936a9 100644
--- a/plugins/syntax/int31_syntax.ml
+++ b/plugins/syntax/int31_syntax.ml
@@ -106,7 +106,8 @@ let at_declare_ml_module f x =
 let _ =
   register_bignumeral_interpretation int31_scope (interp_int31,uninterp_int31);
   at_declare_ml_module enable_prim_token_interpretation
-    { pt_scope = int31_scope;
+    { pt_local = false;
+      pt_scope = int31_scope;
       pt_uid = int31_scope;
       pt_required = (int31_path,int31_module);
       pt_refs = [int31_construct];
-- 
cgit v1.2.3