X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Fparamodulation%2Finference.ml;h=ab27f8a314b13e4b75cce13afbd272a7f9440475;hb=af4311b5fe3b3836f9464c8d8f6ca737307a6a2f;hp=ccc73c351e3d8f422b33a90007f4f9db44095e07;hpb=942023d1f147318b7869f40fb1556c2d69f3d731;p=helm.git

diff --git a/helm/software/components/tactics/paramodulation/inference.ml b/helm/software/components/tactics/paramodulation/inference.ml
index ccc73c351..ab27f8a31 100644
--- a/helm/software/components/tactics/paramodulation/inference.ml
+++ b/helm/software/components/tactics/paramodulation/inference.ml
@@ -488,4 +488,5 @@ let find_context_hypotheses env equalities_indexes =
   in
   res
 ;;
+
 let get_stats () = <:show<Inference.>> ;;