diff options
Diffstat (limited to 'contrib/extraction')
| -rw-r--r-- | contrib/extraction/extract_env.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/extract_env.ml b/contrib/extraction/extract_env.ml index 831f31b188..39e2770819 100644 --- a/contrib/extraction/extract_env.ml +++ b/contrib/extraction/extract_env.ml @@ -161,7 +161,7 @@ let env_for_mtb_with env mtb idl = | _ -> assert false in let l = label_of_id (List.hd idl) in - let before = fst (list_split_at (fun (l',_) -> l=l') sig_b) in + let before = fst (list_split_when (fun (l',_) -> l=l') sig_b) in Modops.add_signature (MPself msid) before env (* From a [structure_body] (i.e. a list of [structure_field_body]) |