X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Ftests%2Fcut.ma;h=82d36667b6d6daffa900f638eb3d856530a02cb5;hb=1bcad789810fd37d346e690f18557aeedc6fe08c;hp=8ba63bd8b9959898f28d98a4fbbf2f17c96915db;hpb=90f9b69fa2c7742722f5a5e72361638a39951aaf;p=helm.git

diff --git a/helm/matita/tests/cut.ma b/helm/matita/tests/cut.ma
index 8ba63bd8b..82d36667b 100644
--- a/helm/matita/tests/cut.ma
+++ b/helm/matita/tests/cut.ma
@@ -16,8 +16,8 @@ set "baseuri" "cic:/matita/tests/cut".
 alias num (instance 0) = "natural number".
 alias symbol "eq" (instance 0) = "leibnitz's equality".
 
-theorem stupid: 0 = 0.
-  cut 0 = 0.
+theorem stupid: 3 = 3.
+  cut 3 = 3.
   assumption.
   reflexivity.
   qed.