X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2Ftptp_cnf.mli;h=18933ee676931010a43a71b7858a2bf4299a5176;hb=8a3045a162622e8a76ffdb267309faff496ee7ec;hp=48b57dbd7964a463cd74546c9a8a29a8e92d7de7;hpb=0b0c468aeb828f074a1b6a0195fa05216f29ee37;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/tptp_cnf.mli b/helm/software/components/binaries/matitaprover/tptp_cnf.mli
index 48b57dbd7..18933ee67 100644
--- a/helm/software/components/binaries/matitaprover/tptp_cnf.mli
+++ b/helm/software/components/binaries/matitaprover/tptp_cnf.mli
@@ -13,4 +13,5 @@
 
 val parse: 
       tptppath:string -> string -> 
-         (Ast.term * Ast.term) list * (Ast.term * Ast.term) list
+         (Ast.term * (Ast.term list * Ast.term list)) list
+       * (Ast.term * (Ast.term list * Ast.term list)) list