Informative message corrected: MatitacLib.go () is now redefined as the more

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

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 7653427377324b1fe39f45d28347e33f8474adcd..954bc13966ff9a871eb71861b62ec1284776f81d 100644 (file)
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -80,7 +80,7 @@ let pp_ocaml_mode () =
   MatitaLog.message "";
   MatitaLog.message "                      ** Entering Ocaml mode ** ";
   MatitaLog.message "";
-  MatitaLog.message "Type 'MatitacLib.go ();;' to enter an interactive matitac";
+  MatitaLog.message "Type 'go ();;' to enter an interactive matitac";
   MatitaLog.message ""
   
 let rec go () =