diff options
| author | aspiwack | 2009-07-07 14:56:02 +0000 |
|---|---|---|
| committer | aspiwack | 2009-07-07 14:56:02 +0000 |
| commit | cd2cec34d3508e147a636a040321ac73f3273011 (patch) | |
| tree | c004d879593c5eb22bb91e9af2515e7c8bea746d /proofs | |
| parent | 8c1884146772bdcf505f9efe820c440bafe75acf (diff) | |
Jolification : tentative de supprimer les "( evd)" et associés qui
traînaient un peu partout dans le code depuis la fusion d'evar_map et
evar_defs. Début du travail d'uniformisation des noms donnés aux
evar_defs à travers le code.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12224 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/clenvtac.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/clenvtac.ml b/proofs/clenvtac.ml index addf12ca13..c3e6e3d87c 100644 --- a/proofs/clenvtac.ml +++ b/proofs/clenvtac.ml @@ -80,7 +80,7 @@ let clenv_refine with_evars ?(with_classes=true) clenv gls = else clenv.evd in tclTHEN - (tclEVARS ( evd')) + (tclEVARS evd') (refine (clenv_cast_meta clenv (clenv_value clenv))) gls |