diff options
Diffstat (limited to 'parsing/g_zsyntax.ml')
| -rw-r--r-- | parsing/g_zsyntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/g_zsyntax.ml b/parsing/g_zsyntax.ml index 6c20107f3a..5d57c49dbb 100644 --- a/parsing/g_zsyntax.ml +++ b/parsing/g_zsyntax.ml @@ -96,7 +96,7 @@ let _ = Notation.declare_numeral_interpreter "positive_scope" (* Parsing N via scopes *) (**********************************************************************) -let binnat_module = ["Coq";"Numbers";"Natural";"Binary";"NBinDefs"] +let binnat_module = ["Coq";"NArith";"BinNat"] let n_kn = make_kn (make_dir binnat_module) (id_of_string "N") let glob_n = IndRef (n_kn,0) let path_of_N0 = ((n_kn,0),1) |