From 130e33deecba750bd0bd4bec16d53a04b039915d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 18 Oct 2000 11:06:36 +0000
Subject: globalize_command devient globalize_constr

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@716 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_natsyntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/g_natsyntax.ml b/parsing/g_natsyntax.ml
index 1c5b64623e..7ae29aae47 100644
--- a/parsing/g_natsyntax.ml
+++ b/parsing/g_natsyntax.ml
@@ -14,7 +14,7 @@ open Ast
 exception Non_closed_number
 
 let get_nat_sign loc =
-  let ast_of_id id = Astterm.globalize_command (Nvar(loc,id)) in
+  let ast_of_id id = Astterm.globalize_constr (Nvar(loc,id)) in
   (ast_of_id "O", ast_of_id "S", ast_of_id "My_special_variable")
   
 (* For example, (nat_of_string "3") is <<(S (S (S O)))>> *)
-- 
cgit v1.2.3