Xml.token is now namespace-aware. As a consequence, xml2Gdomexmath is

[helm.git] / helm / ocaml / cic_transformations / cexpr2pres.mli

diff --git a/helm/ocaml/cic_transformations/cexpr2pres.mli b/helm/ocaml/cic_transformations/cexpr2pres.mli
index 968e9a9ccfe2b30723b9710215d4b3b1206ee3c5..2bdba9e4d05bd5573e7a4bef3d27b4d0f5ed5f9f 100644 (file)
--- a/helm/ocaml/cic_transformations/cexpr2pres.mli
+++ b/helm/ocaml/cic_transformations/cexpr2pres.mli
@@ -38,8 +38,8 @@ val symbol_table :
      priority:int ->
      assoc:bool ->
      tail:Mpresentation.mpres list ->
-     (string * string) list ->
-     (string * string) list ->
+     (string option * string * string) list ->
+     (string option * string * string) list ->
      Mpresentation.mpres
     ) Hashtbl.t
 
@@ -49,8 +49,8 @@ val symbol_table_charcount :
      priority:int ->
      assoc:bool ->
      tail:Mpresentation.mpres list ->
-     (string * string) list ->
-     (string * string) list ->
+     (string option * string * string) list ->
+     (string option * string * string) list ->
      Mpresentation.mpres
     ) Hashtbl.t