diff options
| author | Pierre-Marie Pédrot | 2019-05-03 00:41:55 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-11 12:43:22 +0200 |
| commit | 3c6ed7485293c7eb80f9c4d415af0ee0b977f157 (patch) | |
| tree | b7f10c57adf811b57f98fabe5783c6852c19f9d0 /kernel/environ.ml | |
| parent | 15d4547b977e96ed2bc26cea683f5f4f3c9ee137 (diff) | |
Generalize map_named_val to handle whole declarations.
Diffstat (limited to 'kernel/environ.ml')
| -rw-r--r-- | kernel/environ.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/environ.ml b/kernel/environ.ml index 97c9f8654a..617519a038 100644 --- a/kernel/environ.ml +++ b/kernel/environ.ml @@ -187,7 +187,7 @@ let match_named_context_val c = match c.env_named_ctx with let map_named_val f ctxt = let open Context.Named.Declaration in let fold accu d = - let d' = map_constr f d in + let d' = f d in let accu = if d == d' then accu else Id.Map.modify (get_id d) (fun _ (_, v) -> (d', v)) accu |