diff options
Diffstat (limited to 'test-suite/bugs/closed/3036.v')
| -rw-r--r-- | test-suite/bugs/closed/3036.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test-suite/bugs/closed/3036.v b/test-suite/bugs/closed/3036.v index c1ead05573..451bec9b20 100644 --- a/test-suite/bugs/closed/3036.v +++ b/test-suite/bugs/closed/3036.v @@ -165,4 +165,5 @@ Section Stack. | None => [False] end) * emp. Proof. - intros. apply himp_ex_conc_trivial. + intros. + try apply himp_ex_conc_trivial. |