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

diff --git a/helm/ocaml/cic_transformations/cexpr2pres.mli b/helm/ocaml/cic_transformations/cexpr2pres.mli
index 2bdba9e4d..376d459be 100644
--- a/helm/ocaml/cic_transformations/cexpr2pres.mli
+++ b/helm/ocaml/cic_transformations/cexpr2pres.mli
@@ -37,7 +37,7 @@ val symbol_table :
      Content_expressions.cexpr list -> 
      priority:int ->
      assoc:bool ->
-     tail:Mpresentation.mpres list ->
+     tail:string list ->
      (string option * string * string) list ->
      (string option * string * string) list ->
      Mpresentation.mpres
@@ -48,10 +48,10 @@ val symbol_table_charcount :
      Content_expressions.cexpr list -> 
      priority:int ->
      assoc:bool ->
-     tail:Mpresentation.mpres list ->
+     tail:string list ->
      (string option * string * string) list ->
      (string option * string * string) list ->
-     Mpresentation.mpres
+     Mpresentation.mpres Box.box
     ) Hashtbl.t
 
 val maxsize : int
@@ -59,12 +59,12 @@ val countterm :  int -> Content_expressions.cexpr -> int
 val cexpr2pres : 
     ?priority:int ->
     ?assoc:bool ->
-    ?tail:Mpresentation.mpres list ->
+    ?tail:string list ->
     Content_expressions.cexpr -> 
     Mpresentation.mpres
 val cexpr2pres_charcount : 
     ?priority:int ->
     ?assoc:bool ->
-    ?tail:Mpresentation.mpres list ->
+    ?tail:string list ->
     Content_expressions.cexpr -> 
-    Mpresentation.mpres
+    Mpresentation.mpres Box.box