Preventing an unwanted warning 5 "this function application is partial"

which e.g. OCaml 4.02.1 displays.

1 files changed, 4 insertions, 4 deletions

diff --git a/plugins/micromega/coq_micromega.ml b/plugins/micromega/coq_micromega.ml
index 470e21c82..c008a3aa7 100644
--- a/plugins/micromega/coq_micromega.ml
+++ b/plugins/micromega/coq_micromega.ml
@@ -82,10 +82,10 @@ let _ =
    optread = (fun () -> !lia_enum);
    optwrite = (fun x -> lia_enum := x)
   } in
- ignore (declare_int_option (int_opt ["Lra"; "Depth"] lra_proof_depth)) ;
- ignore (declare_int_option (int_opt ["Lia"; "Depth"] lia_proof_depth)) ;
- ignore (declare_bool_option lia_enum_opt)
-
+ let _ = declare_int_option (int_opt ["Lra"; "Depth"] lra_proof_depth) in
+ let _ = declare_int_option (int_opt ["Lia"; "Depth"] lia_proof_depth) in 
+ let _ = declare_bool_option lia_enum_opt in
+ ()
  
 (**
   * Initialize a tag type to the Tag module declaration (see Mutils).