diff options
Diffstat (limited to 'test-suite/complexity/setoid_rewrite.v')
-rw-r--r-- | test-suite/complexity/setoid_rewrite.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/complexity/setoid_rewrite.v b/test-suite/complexity/setoid_rewrite.v index 3b5a0de7..2e3b006e 100644 --- a/test-suite/complexity/setoid_rewrite.v +++ b/test-suite/complexity/setoid_rewrite.v @@ -7,4 +7,4 @@ Variable f : nat -> Prop. Goal forall U:Prop, f 100 <-> U. intros U. -Time setoid_replace U with False. +Timeout 5 Time setoid_replace U with False. |