From 71d0d57d8d5865f6eab6f0104f471a18efd52dc3 Mon Sep 17 00:00:00 2001 From: poechsel Date: Wed, 20 Jun 2018 11:03:10 +0100 Subject: [PATCH] ocamloptp: fix wrong name for -inline-max-unroll option (#1843) When using ocamlopt with the argument -inline-max-unroll, ocamloptp would pass it as -unroll to ocamlopt, thus leading to an error. --- tools/ocamloptp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ocamloptp.ml b/tools/ocamloptp.ml index 1deee00cc348..04bb6ffda333 100644 --- a/tools/ocamloptp.ml +++ b/tools/ocamloptp.ml @@ -74,7 +74,7 @@ module Options = Main_args.Make_optcomp_options (struct let _dump_pass = option_with_arg "-dump-pass" let _inline_max_depth n = option_with_arg "-inline-max-depth" n let _rounds n = option_with_int "-rounds" n - let _inline_max_unroll n = option_with_arg "-unroll" n + let _inline_max_unroll n = option_with_arg "-inline-max-unroll" n let _inline_call_cost n = option_with_arg "-inline-call-cost" n let _inline_alloc_cost n = option_with_arg "-inline-alloc-cost" n let _inline_prim_cost n = option_with_arg "-inline-prim-cost" n