X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Ffirst.ma;fp=helm%2Fmatita%2Ftests%2Ffirst.ma;h=69b4adf26f4221a6a19b006617740fe4e253c0b4;hb=6b5e1d495c61f459738187e8d71efadb162abdbe;hp=d75f372cea9d75bd4a8cccf3f99b14b8771305eb;hpb=e20f3963028a966fc93ba0d611c4aa8341d20e2c;p=helm.git

diff --git a/helm/matita/tests/first.ma b/helm/matita/tests/first.ma
index d75f372ce..69b4adf26 100644
--- a/helm/matita/tests/first.ma
+++ b/helm/matita/tests/first.ma
@@ -10,7 +10,6 @@ inductive eq (A:Set): A \to A \to Prop \def
 inductive list (A:Set) : Set \def
   | nil : list A
   | cons : A \to list A \to list A.
-alias symbol "cast" (instance 0) = "type cast".
 
 let rec list_len (A:Set) (l:list A) on l \def
   [\lambda x.nat]