added dummy entry in CicAst: UserInput

[helm.git] / helm / ocaml / cic_transformations / cicAst.ml

diff --git a/helm/ocaml/cic_transformations/cicAst.ml b/helm/ocaml/cic_transformations/cicAst.ml
index fcc80369794c375c8bbe0b8d825d8cece1f2b701..cb65c2497322e58d98cb12fba14414a2102073f8 100644 (file)
--- a/helm/ocaml/cic_transformations/cicAst.ml
+++ b/helm/ocaml/cic_transformations/cicAst.ml
@@ -75,6 +75,9 @@ type term =
   | Sort of sort_kind
   | Symbol of string * int  (* canonical name, instance *)
 
+  | UserInput (* place holder for user input, used by MatitaConsole, not to be
+              used elsewhere *)
+
 and capture_variable = Cic.name * term option (* name, type *)
 and meta_subst = term option
 and subst = string * term