X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2FcicNotationPt.ml;h=731a2ba7436f70b6c21f7b05ab0e0274118f9071;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hp=4e9da0424a8a6d7a9b4cb637b6f0a4f5ed2342b9;hpb=63b86fce8a75490b957e7301517b9006f58321b6;p=helm.git

diff --git a/helm/software/components/acic_content/cicNotationPt.ml b/helm/software/components/acic_content/cicNotationPt.ml
index 4e9da0424..731a2ba74 100644
--- a/helm/software/components/acic_content/cicNotationPt.ml
+++ b/helm/software/components/acic_content/cicNotationPt.ml
@@ -94,6 +94,8 @@ type term =
   | Uri of string * subst list option (* as Ident, for long names *)
   | NRef of NReference.reference
 
+  | NCic of NCic.term
+
   (* Syntax pattern extensions *)
 
   | Literal of literal