X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Ffguidi.ma;h=5def3ec470f664e0ac00c32e1d0c49a97b81d697;hb=12fe61bed1275c4c596501fb951a9197f50c93e8;hp=b1c17185d08dfabb33aff29c2576307ad7cb59fb;hpb=b00485292ea4aa35013415903c1a87a952eb21ad;p=helm.git

diff --git a/helm/software/matita/tests/fguidi.ma b/helm/software/matita/tests/fguidi.ma
index b1c17185d..5def3ec47 100644
--- a/helm/software/matita/tests/fguidi.ma
+++ b/helm/software/matita/tests/fguidi.ma
@@ -113,5 +113,5 @@ qed.
 theorem le_trans: \forall x,y. (le x y) \to \forall z. (le y z) \to (le x z).
 intros 1. elim x; clear H. clear x. 
 auto paramodulation.
-fwd H1 [H]. decompose H.
+fwd H1 [H]. decompose.
 *)