diff options
| author | corbinea | 2004-06-30 11:32:28 +0000 |
|---|---|---|
| committer | corbinea | 2004-06-30 11:32:28 +0000 |
| commit | 8e150e9ccf3ecc81fa3b782297cccea3f9d1854b (patch) | |
| tree | ba41179f00414731aa322fa581d1c26a948a0cdb /contrib/xml/xmlcommand.ml | |
| parent | 818e4263d9056587f2a747b2cae81fd6aa5c8c21 (diff) | |
updated printing of evar context (may loop ?)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5857 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/xml/xmlcommand.ml')
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index 3004f39e96..8142664683 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -359,7 +359,7 @@ let mk_current_proof_obj is_a_variable id bo ty evar_map env = in (* We map the named context to a rel context and every Var to a Rel *) (n,context,Unshare.unshare (Term.subst_vars final_var_ids evar_concl)) - ) (Evd.non_instantiated evar_map) + ) (Evarutil.non_instantiated evar_map) in let id' = Names.string_of_id id in if metasenv = [] then |