X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FRELATIONAL%2Fdatatypes%2FNat.ma;h=75a3c58d368083e3ebac90a786b29bc093b6fe38;hb=72e7d9c9d410ded571b9d3c396197b26181c1e2a;hp=3a3a4f5ed8b6493c8427f5fb55db192efe111556;hpb=1c66d874087fd178b21864cd53fc851dd01c2aff;p=helm.git

diff --git a/matita/contribs/RELATIONAL/datatypes/Nat.ma b/matita/contribs/RELATIONAL/datatypes/Nat.ma
index 3a3a4f5ed..75a3c58d3 100644
--- a/matita/contribs/RELATIONAL/datatypes/Nat.ma
+++ b/matita/contribs/RELATIONAL/datatypes/Nat.ma
@@ -16,7 +16,7 @@ set "baseuri" "cic:/matita/RELATIONAL/datatypes/Nat".
 
 include "preamble.ma".
 
-inductive Nat: Set \def
+inductive Nat: Type \def
    | zero: Nat
    | succ: Nat \to Nat
 .