diff options
Diffstat (limited to 'test-suite/bugs/closed/4101.v')
-rw-r--r-- | test-suite/bugs/closed/4101.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/bugs/closed/4101.v b/test-suite/bugs/closed/4101.v index a38b05096..75a26a067 100644 --- a/test-suite/bugs/closed/4101.v +++ b/test-suite/bugs/closed/4101.v @@ -16,4 +16,4 @@ Lemma sigT_obj_eq Proof. intros. Set Debug Tactic Unification. - apply path_forall.
\ No newline at end of file + apply path_forall. |