diff options
Diffstat (limited to 'src/tac2tactics.ml')
| -rw-r--r-- | src/tac2tactics.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2tactics.ml b/src/tac2tactics.ml index 6cf8f24f27..447f602f7a 100644 --- a/src/tac2tactics.ml +++ b/src/tac2tactics.ml @@ -251,4 +251,4 @@ let typeclasses_eauto strategy depth dbs = let dbs = List.map Id.to_string dbs in false, dbs in - Class_tactics.typeclasses_eauto ~only_classes ~strategy ~depth dbs + Class_tactics.typeclasses_eauto ~only_classes ?strategy ~depth dbs |