X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.1.0%2FgtkMathView.ml;h=1deb11182c05b4e074a7d1b3304c1c001d9a2d2a;hb=33dcab0b5868d4bfd2f813445cfc94827f1fc555;hp=a612a8b00f0482668a2e625cd440c629205b96c6;hpb=fb6e592cfeee3b5d1c59e66888c953bd9c43156f;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
index a612a8b00..1deb11182 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
@@ -53,10 +53,10 @@ module MathView = struct
    "ml_gtk_math_view_set_kerning"
   external get_kerning : [>`math_view] obj -> bool =
    "ml_gtk_math_view_get_kerning"
-  external log_set_verbosity : [>`math_view] obj -> int -> unit =
-   "ml_gtk_math_view_log_set_verbosity"
-  external log_get_verbosity : [>`math_view] obj -> int =
-   "ml_gtk_math_view_log_get_verbosity"
+  external set_log_verbosity : [>`math_view] obj -> int -> unit =
+   "ml_gtk_math_view_set_log_verbosity"
+  external get_log_verbosity : [>`math_view] obj -> int =
+   "ml_gtk_math_view_get_log_verbosity"
   external export_to_postscript : [>`math_view] obj -> int =
    "ml_gtk_math_view_export_to_postscript"