X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Facic_content%2FtermAcicContent.mli;h=def5b0a1bb9a6834d24d60d61cce87bcbad2072a;hb=b44a732a930584aa08f4a78371dd9ac5b405f31e;hp=1fd57e0d00cdcec44e1fb2c7059cc42ea2b32bbf;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/acic_content/termAcicContent.mli b/components/acic_content/termAcicContent.mli
index 1fd57e0d0..def5b0a1b 100644
--- a/components/acic_content/termAcicContent.mli
+++ b/components/acic_content/termAcicContent.mli
@@ -23,6 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
+
   (** {2 Persistant state handling} *)
 
 type interpretation_id
@@ -53,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 *)