matitaprover is almost there

[helm.git] / helm / software / components / binaries / matitaprover / tptp_cnf.mli

diff --git a/helm/software/components/binaries/matitaprover/tptp_cnf.mli b/helm/software/components/binaries/matitaprover/tptp_cnf.mli
index ecf930bc4ae37600d361e2b899186d3367da9836..9e56414d454ba6b710ea8c1f74c4090c14fcc67f 100644 (file)
--- 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