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

diff --git a/matita/tests/fguidi.ma b/matita/tests/fguidi.ma
index b1c17185d..5def3ec47 100644
--- a/matita/tests/fguidi.ma
+++ b/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.
 *)