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)

---
 plugins/firstorder/g_ground.mlg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plugins/firstorder')

diff --git a/plugins/firstorder/g_ground.mlg b/plugins/firstorder/g_ground.mlg
index a212d13453..37fc81ee38 100644
--- a/plugins/firstorder/g_ground.mlg
+++ b/plugins/firstorder/g_ground.mlg
@@ -33,7 +33,7 @@ DECLARE PLUGIN "ground_plugin"
 
 let ground_depth=ref 3
 
-let _=
+let ()=
   let gdopt=
     { optdepr=false;
       optname="Firstorder Depth";
@@ -47,7 +47,7 @@ let _=
     declare_int_option gdopt
 
 
-let _=
+let ()=
   let congruence_depth=ref 100 in
   let gdopt=
     { optdepr=true; (* noop *)
-- 
cgit v1.2.3