s/let _ =/let () =/ in some places (mostly goptions related)

1 files changed, 15 insertions, 15 deletions

diff --git a/plugins/ssr/ssrparser.mlg b/plugins/ssr/ssrparser.mlg
index 7c91860228..6909e868b5 100644
--- a/plugins/ssr/ssrparser.mlg
+++ b/plugins/ssr/ssrparser.mlg
@@ -1605,14 +1605,14 @@ let old_tac = V82.tactic
 
 let ssr_reserved_ids = Summary.ref ~name:"SSR:idents" true
 
-let _ =
-  Goptions.declare_bool_option
-    { Goptions.optname  = "ssreflect identifiers";
-      Goptions.optkey   = ["SsrIdents"];
-      Goptions.optdepr  = false;
-      Goptions.optread  = (fun _ -> !ssr_reserved_ids);
-      Goptions.optwrite = (fun b -> ssr_reserved_ids := b)
-    }
+let () =
+  Goptions.(declare_bool_option
+    { optname  = "ssreflect identifiers";
+      optkey   = ["SsrIdents"];
+      optdepr  = false;
+      optread  = (fun _ -> !ssr_reserved_ids);
+      optwrite = (fun b -> ssr_reserved_ids := b)
+    })
 
 let is_ssr_reserved s =
   let n = String.length s in n > 2 && s.[0] = '_' && s.[n - 1] = '_'
@@ -2355,13 +2355,13 @@ END
 
 let ssr_rw_syntax = Summary.ref ~name:"SSR:rewrite" true
 
-let _ =
-  Goptions.declare_bool_option
-    { Goptions.optname  = "ssreflect rewrite";
-      Goptions.optkey   = ["SsrRewrite"];
-      Goptions.optread  = (fun _ -> !ssr_rw_syntax);
-      Goptions.optdepr  = false;
-      Goptions.optwrite = (fun b -> ssr_rw_syntax := b) }
+let () =
+  Goptions.(declare_bool_option
+    { optname  = "ssreflect rewrite";
+      optkey   = ["SsrRewrite"];
+      optread  = (fun _ -> !ssr_rw_syntax);
+      optdepr  = false;
+      optwrite = (fun b -> ssr_rw_syntax := b) })
 
 let lbrace = Char.chr 123
 (** Workaround to a limitation of coqpp *)