X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2Ftptp_cnf.mli;h=9e56414d454ba6b710ea8c1f74c4090c14fcc67f;hb=d4d8691cd71651c778eacd6cc8d7ecc6f51d41df;hp=ecf930bc4ae37600d361e2b899186d3367da9836;hpb=01b01dd4e6602de3ae463f74b4d1ef29a73acc68;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/tptp_cnf.mli b/helm/software/components/binaries/matitaprover/tptp_cnf.mli
index ecf930bc4..9e56414d4 100644
--- a/helm/software/components/binaries/matitaprover/tptp_cnf.mli
+++ b/helm/software/components/binaries/matitaprover/tptp_cnf.mli
@@ -1 +1,3 @@
-val parse: string -> unit list * unit list
+val parse: 
+      tptppath:string -> string -> 
+         (Ast.term * Ast.term) list * (Ast.term * Ast.term) list