X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2Fcontent.ml;h=1e4cc88afa1532040ec534ae4c0560fe28999502;hb=b637879a2b3f2ceda65afb3c950061189c4730b7;hp=c8b22f497e713cd0186d99e720ebdd93739fad5c;hpb=66929b8edb58d468a134b648466f3e9c45ba5c0e;p=helm.git

diff --git a/helm/software/components/acic_content/content.ml b/helm/software/components/acic_content/content.ml
index c8b22f497..1e4cc88af 100644
--- a/helm/software/components/acic_content/content.ml
+++ b/helm/software/components/acic_content/content.ml
@@ -58,7 +58,8 @@ type 'term definition =
        { def_name : string option;
          def_id : id ;
          def_aref : string ;
-         def_term : 'term 
+         def_term : 'term ;
+         def_type : 'term 
        }
 ;;