diff options
author | 2016-10-14 16:53:19 +0200 | |
---|---|---|
committer | 2016-10-29 11:58:12 +0200 | |
commit | e807f3407fb19f481dac332e7650eddfa9b5fd5d (patch) | |
tree | c2292475b608bf31f5fee13974e82c205349c9ff /tactics | |
parent | a4458475187de726b1518e536cb1a42e8c9d0534 (diff) |
Documenting changes in typeclasses
Diffstat (limited to 'tactics')
-rw-r--r-- | tactics/tactics.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tactics.ml b/tactics/tactics.ml index d2e5d8525..88e84f418 100644 --- a/tactics/tactics.ml +++ b/tactics/tactics.ml @@ -83,7 +83,7 @@ let _ = let apply_solve_class_goals = ref (false) let _ = Goptions.declare_bool_option { - Goptions.optsync = true; Goptions.optdepr = false; + Goptions.optsync = true; Goptions.optdepr = true; Goptions.optname = "Perform typeclass resolution on apply-generated subgoals."; Goptions.optkey = ["Typeclass";"Resolution";"After";"Apply"]; |