X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2FFsub%2Futil.ma;h=582114c690a60afb840fa51b0eaaac2801c899ea;hb=50afaf262195266d156f594cff7e92a6e8898b3e;hp=8b111e3f2425637f1fc75086a96265cb78ff6db7;hpb=247ec86cf6e8ba95843b408453afd57f7cf2d075;p=helm.git

diff --git a/helm/software/matita/library/Fsub/util.ma b/helm/software/matita/library/Fsub/util.ma
index 8b111e3f2..582114c69 100644
--- a/helm/software/matita/library/Fsub/util.ma
+++ b/helm/software/matita/library/Fsub/util.ma
@@ -35,7 +35,7 @@ let rec max m n \def
      [true \Rightarrow n
      |false \Rightarrow m]. 
 
-inductive in_list (A : Set) : A \to (list A) \to Prop \def
+inductive in_list (A : Type) : A \to (list A) \to Prop \def
   | in_Base : \forall x:A.\forall l:(list A).
               (in_list A x (x :: l))
   | in_Skip : \forall x,y:A.\forall l:(list A).