parameter sintax added to axiom statement

[helm.git] / helm / software / components / acic_content / cicNotationUtil.ml

diff --git a/helm/software/components/acic_content/cicNotationUtil.ml b/helm/software/components/acic_content/cicNotationUtil.ml
index 0c8abce504694b5053f62a9feeb997c0bc6a1a4f..7eccd79017d309044abe9e35f17355b4d01872b4 100644 (file)
--- 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 _