X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2Fparamodulation%2Finference.mli;h=0de5e8433a6a9db6f885609927293df0b1952021;hb=93cc0505102768f7d4337907bafa31d1528a7289;hp=9bfb84cb21f8ea7f0164845544ba556a02c51e0d;hpb=9559b53134624dbee523cf6406a9852665c0ff77;p=helm.git

diff --git a/components/tactics/paramodulation/inference.mli b/components/tactics/paramodulation/inference.mli
index 9bfb84cb2..0de5e8433 100644
--- a/components/tactics/paramodulation/inference.mli
+++ b/components/tactics/paramodulation/inference.mli
@@ -75,3 +75,4 @@ val find_library_theorems:
 val find_context_hypotheses:
   Utils.environment -> int list -> (Cic.term * Cic.term * Cic.metasenv) list
 
+val get_stats: unit -> string