diff options
| author | Hugo Herbelin | 2014-07-01 11:50:53 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-07-01 11:55:03 +0200 |
| commit | ff9f946343298e0d980e686654e7facfc28dc7d7 (patch) | |
| tree | 0ccfe54c3fe27e1c18cfa965b4bcb5af0fbd2d37 | |
| parent | f8e74d5baa18513fb8f697aaa7e8a495c9a2a9d5 (diff) | |
Making code and doc agree on "Set Equality Schemes" (see also bug #2550).
| -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 *) |