X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fabsurd.ma;h=f5f27f6229dcc0617bada233837ffdbc5693d8d6;hb=d35d134356645a09eb72db6e484f3df583123af1;hp=ce110718a8d0807eac92a1e58bdf90db6320a328;hpb=b60666721441e676081a6e3b2f436b23dbcdae0f;p=helm.git

diff --git a/helm/matita/tests/absurd.ma b/helm/matita/tests/absurd.ma
index ce110718a..f5f27f622 100644
--- a/helm/matita/tests/absurd.ma
+++ b/helm/matita/tests/absurd.ma
@@ -24,4 +24,4 @@ intros.
 absurd a.
 assumption.
 assumption.
-qed.
\ No newline at end of file
+qed.