From ff9f946343298e0d980e686654e7facfc28dc7d7 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 1 Jul 2014 11:50:53 +0200
Subject: Making code and doc agree on "Set Equality Schemes" (see also bug
 #2550).

---
 toplevel/indschemes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/indschemes.ml b/toplevel/indschemes.ml
index d17136f1c8..d7d6b4c6d1 100644
--- a/toplevel/indschemes.ml
+++ b/toplevel/indschemes.ml
@@ -77,7 +77,7 @@ let _ =
     { optsync  = true;
       optdepr  = false;
       optname  = "automatic declaration of boolean equality";
-      optkey   = ["Boolean";"Equality";"Schemes"];
+      optkey   = ["Equality";"Schemes"];
       optread  = (fun () -> !eq_flag) ;
       optwrite = (fun b -> eq_flag := b) }
 let _ = (* compatibility *)
-- 
cgit v1.2.3