X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Facic2Ast.mli;h=411057cffbd8d7b1470d325358710492c5bef713;hb=acf29bdbdcdc6ad8c2d9d27e8a47500981b605cd;hp=c0f1309bfce6b866c876d586742e317e990173da;hpb=29969baf115afff7eb9ea9e2ca98d40ab7006dcc;p=helm.git

diff --git a/helm/ocaml/cic_transformations/acic2Ast.mli b/helm/ocaml/cic_transformations/acic2Ast.mli
index c0f1309bf..411057cff 100644
--- a/helm/ocaml/cic_transformations/acic2Ast.mli
+++ b/helm/ocaml/cic_transformations/acic2Ast.mli
@@ -24,7 +24,7 @@
  *)
 
 val ast_of_acic :
-  (Cic.id, string) Hashtbl.t -> (* id -> sort *)
+  (Cic.id, Cic2acic.sort_kind) Hashtbl.t -> (* id -> sort *)
 (*
   (Cic.id, string) Hashtbl.t -> (* id -> uri *)
   (string,
@@ -32,5 +32,6 @@ val ast_of_acic :
      CicAst.term)
    Hashtbl.t ->
 *)
-    Cic.annterm -> CicAst.term * (Cic.id, string) Hashtbl.t
+    Cic.annterm ->
+      CicAst.term * (Cic.id, string) Hashtbl.t  (* ast, id -> uri *)