From 74038abdd41161a4c4b1eba5dbbd83f5c0301bf3 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 21 Nov 2018 20:00:46 +0100
Subject: s/let _ =/let () =/ in some places (mostly goptions related)

---
 pretyping/program.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'pretyping/program.ml')

diff --git a/pretyping/program.ml b/pretyping/program.ml
index bbabbefdc3..7e38c09189 100644
--- a/pretyping/program.ml
+++ b/pretyping/program.ml
@@ -75,7 +75,7 @@ let is_program_cases () = !program_cases
 
 open Goptions
 
-let _ =
+let () =
   declare_bool_option
   { optdepr  = false;
     optname  = "preferred transparency of Program obligations";
@@ -83,7 +83,7 @@ let _ =
     optread  = get_proofs_transparency;
     optwrite = set_proofs_transparency; }
 
-let _ =
+let () =
   declare_bool_option
   { optdepr  = false;
     optname  = "program cases";
@@ -91,7 +91,7 @@ let _ =
     optread  = (fun () -> !program_cases);
     optwrite = (:=) program_cases }
 
-let _ =
+let () =
   declare_bool_option
   { optdepr  = false;
     optname  = "program generalized coercion";
-- 
cgit v1.2.3