From fd90172e9910c908639f661a723fa68a7aca4aff Mon Sep 17 00:00:00 2001 From: clrenard Date: Tue, 6 Nov 2001 13:44:30 +0000 Subject: Suite de la suppression : enamed_declaration est remplace par evar_map. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2164 85f007b7-540e-0410-9357-904b9bb8a0f7 --- toplevel/command.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'toplevel/command.mli') diff --git a/toplevel/command.mli b/toplevel/command.mli index f182812c9..04ae5a454 100644 --- a/toplevel/command.mli +++ b/toplevel/command.mli @@ -76,4 +76,4 @@ val save_anonymous_with_strength : strength -> bool -> identifier -> unit current open proof if any, otherwise returns the empty evar context and the current global env *) -val get_current_context : unit -> Proof_type.enamed_declarations * Environ.env +val get_current_context : unit -> Evd.evar_map * Environ.env -- cgit v1.2.3