X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fcexpr2pres.mli;h=2bdba9e4d05bd5573e7a4bef3d27b4d0f5ed5f9f;hb=6f65a2e518d723ea722b23bfd9fa0162ff8be457;hp=968e9a9ccfe2b30723b9710215d4b3b1206ee3c5;hpb=b266dce15b2f669a70daaee3bd0887f8d9c345b2;p=helm.git

diff --git a/helm/ocaml/cic_transformations/cexpr2pres.mli b/helm/ocaml/cic_transformations/cexpr2pres.mli
index 968e9a9cc..2bdba9e4d 100644
--- 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