diff options
Diffstat (limited to 'kernel/sign.ml')
| -rw-r--r-- | kernel/sign.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/sign.ml b/kernel/sign.ml index a654bc04d..269f7a5d9 100644 --- a/kernel/sign.ml +++ b/kernel/sign.ml @@ -34,7 +34,7 @@ let rec lookup_named id = function | [] -> raise Not_found let named_context_length = List.length -let named_context_equal = list_equal eq_named_declaration +let named_context_equal = List.equal eq_named_declaration let vars_of_named_context = List.map (fun (id,_,_) -> id) @@ -61,7 +61,7 @@ let map_context f l = if body_o' == body_o && typ' == typ then decl else (n, body_o', typ') in - list_smartmap map_decl l + List.smartmap map_decl l let map_rel_context = map_context let map_named_context = map_context |