diff options
| author | Maxime Dénès | 2016-10-05 12:05:39 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-10-05 17:53:24 +0200 |
| commit | e2c0b6711ab100c1dc4d103601a951688b115c7c (patch) | |
| tree | 803fcc2d766244c0f4fbf4c0f9acafdcd839ecc2 /test-suite | |
| parent | 4da21316ddc334f82ef830baca9e6d68cc73c59c (diff) | |
Clean up type classes flags and update compat file.
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/success/eauto.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/success/eauto.v b/test-suite/success/eauto.v index c9c7c611cc..4db547f4e4 100644 --- a/test-suite/success/eauto.v +++ b/test-suite/success/eauto.v @@ -117,7 +117,7 @@ Lemma simpl_plus_l_rr1 : Undo. Set Typeclasses Debug. Set Typeclasses Iterative Deepening. - Time typeclasses eauto 2 with nocore. Show Proof. + Time typeclasses eauto 6 with nocore. Show Proof. Undo. Time eauto. (* does EApply H *) Qed. |