X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2FcicNotationUtil.ml;h=7eccd79017d309044abe9e35f17355b4d01872b4;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=0c8abce504694b5053f62a9feeb997c0bc6a1a4f;hpb=63b86fce8a75490b957e7301517b9006f58321b6;p=helm.git

diff --git a/helm/software/components/acic_content/cicNotationUtil.ml b/helm/software/components/acic_content/cicNotationUtil.ml
index 0c8abce50..7eccd7901 100644
--- a/helm/software/components/acic_content/cicNotationUtil.ml
+++ b/helm/software/components/acic_content/cicNotationUtil.ml
@@ -63,6 +63,7 @@ let visit_ast ?(special_k = fun _ -> assert false)
       | Ast.Variable _) as t -> special_k t
     | (Ast.Ident _
       | Ast.NRef _
+      | Ast.NCic _
       | Ast.Implicit _
       | Ast.Num _
       | Ast.Sort _