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)

---
 printing/proof_diffs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing/proof_diffs.ml')

diff --git a/printing/proof_diffs.ml b/printing/proof_diffs.ml
index cc1bcc66ae..3e2093db4a 100644
--- a/printing/proof_diffs.ml
+++ b/printing/proof_diffs.ml
@@ -52,7 +52,7 @@ let write_diffs_option = function
 | "removed" -> diff_option := `REMOVED
 | _ -> CErrors.user_err Pp.(str "Diffs option only accepts the following values: \"off\", \"on\", \"removed\".")
 
-let _ =
+let () =
   Goptions.(declare_string_option {
     optdepr = false;
     optname = "show diffs in proofs";
-- 
cgit v1.2.3