diff options
| author | Maxime Dénès | 2018-12-22 00:43:21 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-22 11:17:59 +0100 |
| commit | 2986683c5e6379d07574d0cb2ba2a609085aa8e3 (patch) | |
| tree | 5a76e7a9410dad901685e26c80726e3866804764 /vernac | |
| parent | fc2bc9f806ad7627ca2288ae9dfd27512462a5fa (diff) | |
Turn `Refine Instance Mode` off by default
Diffstat (limited to 'vernac')
| -rw-r--r-- | vernac/classes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/classes.ml b/vernac/classes.ml index 6c44745c81..748a2628c5 100644 --- a/vernac/classes.ml +++ b/vernac/classes.ml @@ -28,7 +28,7 @@ module RelDecl = Context.Rel.Declaration open Decl_kinds open Entries -let refine_instance = ref true +let refine_instance = ref false let () = Goptions.(declare_bool_option { optdepr = false; |