Test almost finished. Some bugs found.

[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / gtkMathView.ml

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 1deb11182c05b4e074a7d1b3304c1c001d9a2d2a..62cd5409dc436b9b019c69658576e0beb35bab53 100644 (file)
--- 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
@@ -57,7 +57,7 @@ module MathView = struct
    "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 =
+  external export_to_postscript : [>`math_view] obj -> filename:string -> bool =
    "ml_gtk_math_view_export_to_postscript"
 
   module Signals = struct