diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-05-01 17:48:57 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-05-01 17:48:57 +0200 |
commit | d0252cac3167ef1e5cd26c1b9b40aea06d343413 (patch) | |
tree | 9748fb6a7260592a1e0baca9da37c22d400ee51d /engine/evarutil.ml | |
parent | 5365971dfdf4136586527aa4f4c85fbfebeee0bd (diff) |
More consistent writing of de Bruijn.
Diffstat (limited to 'engine/evarutil.ml')
-rw-r--r-- | engine/evarutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/evarutil.ml b/engine/evarutil.ml index 1624dc93e..22f93faa6 100644 --- a/engine/evarutil.ml +++ b/engine/evarutil.ml @@ -462,7 +462,7 @@ let e_new_evar env evdref ?(src=default_source) ?filter ?candidates ?store ?nami ev (* This assumes an evar with identity instance and generalizes it over only - the De Bruijn part of the context *) + the de Bruijn part of the context *) let generalize_evar_over_rels sigma (ev,args) = let open EConstr in let evi = Evd.find sigma ev in |