diff options
Diffstat (limited to 'test-suite/success')
| -rw-r--r-- | test-suite/success/with_strategy.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/success/with_strategy.v b/test-suite/success/with_strategy.v index bf639ae6b9..bacea3549f 100644 --- a/test-suite/success/with_strategy.v +++ b/test-suite/success/with_strategy.v @@ -131,7 +131,7 @@ Qed. (* test that the strategy tactic does persist through abstract *) Opaque id. Goal id 0 = 0. - Fail Time Timeout 5 + Time Timeout 5 with_strategy expand [id] assert (id (fact 100) = fact 100) by abstract reflexivity. |