X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Facic_content%2FtermAcicContent.mli;h=def5b0a1bb9a6834d24d60d61cce87bcbad2072a;hb=65662e7d8de61a338b636f208d04e85eb59e6b8e;hp=49358bfce00a8b546e71c787b1afc1c68fbaa4b6;hpb=27ce29cfef1e71c00ee19d2c00c9f425f9efb031;p=helm.git

diff --git a/components/acic_content/termAcicContent.mli b/components/acic_content/termAcicContent.mli
index 49358bfce..def5b0a1b 100644
--- a/components/acic_content/termAcicContent.mli
+++ b/components/acic_content/termAcicContent.mli
@@ -54,6 +54,7 @@ val set_active_interpretations: interpretation_id list -> unit
   (** {2 acic -> content} *)
 
 val ast_of_acic:
+  output_type:[`Pattern|`Term] ->
   (Cic.id, CicNotationPt.sort_kind) Hashtbl.t ->    (* id -> sort *)
   Cic.annterm ->                                    (* acic *)
     CicNotationPt.term                              (* ast *)