From db778f71b76101b587a6299b202b24d67e916cd8 Mon Sep 17 00:00:00 2001 From: Mario Frank Date: Tue, 9 Jan 2024 17:07:54 +0100 Subject: [PATCH] Fixing compilation error... did compile on my maching with OCaml 4.13.1, but List.map is inappropriate here, anyway --- plugins/extraction/table.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/plugins/extraction/table.ml b/plugins/extraction/table.ml index 8a74a36804743..c2858b204cbf3 100644 --- a/plugins/extraction/table.ml +++ b/plugins/extraction/table.ml @@ -953,8 +953,7 @@ let extract_constant_generic r arity_handler redefinition_handler leafs = let typ = Reduction.whd_all env typ in if Reduction.is_arity env typ then arity_handler env typ g; redefinition_handler g; - List.map (Lib.add_leaf) (leafs g); - () + List.iter (Lib.add_leaf) (leafs g) | _ -> error_constant ?loc:r.CAst.loc g let extract_constant_inline inline r ids s =