Fixing compilation error... did compile on my maching with OCaml 4.13…

….1, but List.map is inappropriate here, anyway
eladrion · Jan 9, 2024 · db778f7 · db778f7
1 parent b67e1a0
commit db778f7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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 =