transformations no longer use Content_expression, but rather CicAst

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

diff --git a/helm/ocaml/cic_transformations/acic2Ast.mli b/helm/ocaml/cic_transformations/acic2Ast.mli
index 3db26629adc9b857867ab7ad5e64a467a23375ad..c0f1309bfce6b866c876d586742e317e990173da 100644 (file)
--- a/helm/ocaml/cic_transformations/acic2Ast.mli
+++ b/helm/ocaml/cic_transformations/acic2Ast.mli
@@ -25,8 +25,8 @@
 
 val ast_of_acic :
   (Cic.id, string) Hashtbl.t -> (* id -> sort *)
-  (Cic.id, string) Hashtbl.t -> (* id -> uri *)
 (*
+  (Cic.id, string) Hashtbl.t -> (* id -> uri *)
   (string,
    Cic.id -> Cic.id -> Cic.annterm list -> (Cic.annterm -> CicAst.term) ->
      CicAst.term)