X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Fparamodulation%2Futils.ml;h=6ac2132aaa8f203a945982c3f4ecb913868199f9;hb=bd4a73c6f758bd39254178dd7b313af321a5cd4b;hp=eabf24353395f443beea557563d0daa4a4a7273c;hpb=b0bbbe6ec20a0afa145c1e6d92530105d9d4d7e3;p=helm.git

diff --git a/helm/software/components/tactics/paramodulation/utils.ml b/helm/software/components/tactics/paramodulation/utils.ml
index eabf24353..6ac2132aa 100644
--- a/helm/software/components/tactics/paramodulation/utils.ml
+++ b/helm/software/components/tactics/paramodulation/utils.ml
@@ -356,7 +356,7 @@ let compute_equality_weight e =
    d
   );
 *)
-  w + d
+  w + d 
 ;;
 
 (* old