X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fcontent_expressions.mli;h=e945d96d2e32281373be989bebbd87b3c78737e8;hb=0de1b960f42ac368414b7405a79e7933445ee8af;hp=5eb2e503cda58bd600b689e10add6b312a77ea4e;hpb=f7b2e35a7bdadb4fdf0e640428e694703ddf67a5;p=helm.git

diff --git a/helm/ocaml/cic_transformations/content_expressions.mli b/helm/ocaml/cic_transformations/content_expressions.mli
index 5eb2e503c..e945d96d2 100644
--- a/helm/ocaml/cic_transformations/content_expressions.mli
+++ b/helm/ocaml/cic_transformations/content_expressions.mli
@@ -37,7 +37,7 @@ type
     Symbol of string option * string * (subst option) * string option         
                                      (* h:xref, name, subst, definitionURL *)
   | LocalVar of string option * string        (* h:xref, name *)
-  | Meta of string option * string            (* h:xref, name *)
+  | Meta of string option * string * meta_subst (* h:xref, name, meta_subst *)
   | Num of string option * string             (* h:xref, value *)
   | Appl of string option * cexpr list        (* h:xref, args *)
   | Binder of string option *string * decl * cexpr   
@@ -53,6 +53,8 @@ and
   def = string * cexpr               (* name, body *)
 and
   subst = (UriManager.uri * cexpr) list
+and
+  meta_subst = cexpr option list
 ;;