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=62cd5409dc436b9b019c69658576e0beb35bab53;hb=35667e24851618733d8ef7576a6550f6e2f0b26b;hp=1deb11182c05b4e074a7d1b3304c1c001d9a2d2a;hpb=33dcab0b5868d4bfd2f813445cfc94827f1fc555;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 1deb11182..62cd5409d 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
@@ -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