parameter sintax added to axiom statement

[helm.git] / helm / software / components / acic_content / content.mli

diff --git a/helm/software/components/acic_content/content.mli b/helm/software/components/acic_content/content.mli
index 546000330da51b7b4eaf63d5b6e8c21e63f57753..229d30749aeca977d6e6adbb4b96a496eea0e73f 100644 (file)
--- a/helm/software/components/acic_content/content.mli
+++ b/helm/software/components/acic_content/content.mli
@@ -47,7 +47,8 @@ type 'term definition =
        { def_name : string option;
          def_id : id ;
          def_aref : string ;
-         def_term : 'term 
+         def_term : 'term ;
+         def_type : 'term 
        }
 ;;