X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.ml;h=2420c94c110f2c3ca6f2edee7d32e9a01decf82c;hb=f15a13bab100064a4da238cede323b8d4568c174;hp=394d97e1484ca9870852f0bfecc9cb170a625f78;hpb=1c22e6a7aa5a776bc4fb2982826aa53d171a2d5f;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index 394d97e14..2420c94c1 100644
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
@@ -118,7 +118,7 @@ module MathView = struct
      let marshal_click f _ =
       function
          [GtkArgv.POINTER element; GtkArgv.INT state] ->
-	   f (gdome_element_of_boxed_option element) state
+	   f (gdome_element_option_of_boxed_option element) state
        | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_click"
      in
       { name = "click"; classe = `math_view; marshaller = marshal_click }