added optional "paramodulation" parameter to auto to turn on paramodulation

[helm.git] / helm / matita / matita.ml

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index d0223a80bccf8e0b7f7cb1ff8a7bb430dcf95051..d4f9c3fac85bd102e472bc2a9e06648b20b65e4a 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -31,7 +31,7 @@ open MatitaMisc
 
 
 (* ALB to link paramodulation... *)
-let _ = Saturation.init ()
+let _ = Paramodulation.Saturation.init ()
   
 
 (** {2 Initialization} *)