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)

---
 stm/stm.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index 9359ab15e2..73926de4ba 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -2828,12 +2828,12 @@ let process_back_meta_command ~newtip ~head oid aast w =
     Backtrack.record (); if w == VtNow then ignore(finish ~doc:dummy_doc); `Ok
 
 let allow_nested_proofs = ref false
-let _ = Goptions.declare_bool_option
-    { Goptions.optdepr  = false;
-      Goptions.optname  = "Nested Proofs Allowed";
-      Goptions.optkey   = Vernac_classifier.stm_allow_nested_proofs_option_name;
-      Goptions.optread  = (fun () -> !allow_nested_proofs);
-      Goptions.optwrite = (fun b -> allow_nested_proofs := b) }
+let () = Goptions.(declare_bool_option
+    { optdepr  = false;
+      optname  = "Nested Proofs Allowed";
+      optkey   = Vernac_classifier.stm_allow_nested_proofs_option_name;
+      optread  = (fun () -> !allow_nested_proofs);
+      optwrite = (fun b -> allow_nested_proofs := b) })
 
 let process_transaction ~doc ?(newtip=Stateid.fresh ())
   ({ verbose; loc; expr } as x) c =
-- 
cgit v1.2.3