diff options
| author | herbelin | 2010-10-31 21:19:22 +0000 |
|---|---|---|
| committer | herbelin | 2010-10-31 21:19:22 +0000 |
| commit | 30f6fd59780f57201e93ef4986422b6c89077ab4 (patch) | |
| tree | dd99fe7beae18eaaec8bf19d38f8aae97877078f /interp | |
| parent | f35a2ddd119ca99e924c68e3346a07087811c261 (diff) | |
Cleaning the use of parentheses around evd and evdref (cosmetic commit).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13597 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/constrintern.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/constrintern.ml b/interp/constrintern.ml index c651d11cba..18fd16279f 100644 --- a/interp/constrintern.ml +++ b/interp/constrintern.ml @@ -1515,7 +1515,7 @@ let interp_constr_evars_impls ?evdref ?(fail_evar=true) env ?(impls=[]) c = interp_constr_evars_gen_impls ?evdref ~fail_evar env (OfType None) ~impls c let interp_constr_evars_gen evdref env ?(impls=[]) kind c = - let c = intern_gen (kind=IsType) ~impls ( !evdref) env c in + let c = intern_gen (kind=IsType) ~impls !evdref env c in Default.understand_tcc_evars evdref env kind c let interp_casted_constr_evars evdref env ?(impls=[]) c typ = |