diff options
Diffstat (limited to 'toplevel/autoinstance.ml')
| -rw-r--r-- | toplevel/autoinstance.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/autoinstance.ml b/toplevel/autoinstance.ml index 520f9b631..29bef7b5a 100644 --- a/toplevel/autoinstance.ml +++ b/toplevel/autoinstance.ml @@ -310,7 +310,7 @@ let end_autoinstance () = let _ = Goptions.declare_bool_option { Goptions.optsync=true; - Goptions.optkey=Goptions.PrimaryTable("Autoinstance"); + Goptions.optkey=["Autoinstance"]; Goptions.optname="automatic typeclass instance recognition"; Goptions.optread=(fun () -> !autoinstance_opt); Goptions.optwrite=(fun b -> if b then begin_autoinstance() else end_autoinstance()) } |