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

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

diff --git a/helm/matita/matitac.ml b/helm/matita/matitac.ml
index b27e115f43f86e27c6dc637196b0331d6c4b7e59..40526e74d4a4a59eed02f77f14bc5492ee526ddd 100644 (file)
--- a/helm/matita/matitac.ml
+++ b/helm/matita/matitac.ml
@@ -25,7 +25,7 @@
 
 
 (* ALB to link paramodulation... *)
-let _ = Saturation.init ()
+let _ = Paramodulation.Saturation.init ()
 
   
 let _ = MatitacLib.main `COMPILER