diff options
| -rw-r--r-- | toplevel/indschemes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) |