From a345bf314e82b7cf33eb31034b04310b98bd915b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 30 Mar 2000 12:07:47 +0000
Subject: Réajout globalize_command

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@358 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/astterm.mli | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/parsing/astterm.mli b/parsing/astterm.mli
index 54c1ce5c20..b33c4b825f 100644
--- a/parsing/astterm.mli
+++ b/parsing/astterm.mli
@@ -50,7 +50,9 @@ val fconstr_of_com_sort : 'a evar_map -> env -> Coqast.t -> constr
 val raw_constr_of_compattern :
   'c evar_map -> 'a assumptions -> Coqast.t -> rawconstr
 
+*)
 val globalize_command : Coqast.t -> Coqast.t
+(*
 val globalize_ast     : Coqast.t -> Coqast.t
 
 (* Typing with Trad, and re-checking with Mach *)
-- 
cgit v1.2.3