X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.ml;h=3687c043b22d4d54cbbc72da1f327970f6f01be8;hb=1957a1f151c547f04625c4379e51ab66bddb69c7;hp=23197b227a380498634b55b8c316e99f69b4c68d;hpb=3b8903933e9ae1a3aa7f73bf34379fd6ee2ca130;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.ml b/helm/DEVEL/lablgtkmathview/gMathView.ml
index 23197b227..3687c043b 100644
--- a/helm/DEVEL/lablgtkmathview/gMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gMathView.ml
@@ -45,7 +45,7 @@ class math_view_signals obj = object
     let new_click =
      let new_marshaller f x y =
       MathView.Signals.click.S.marshaller
-       (fun e s -> f (new Gdome.element e) s) x y
+       (fun e s -> f (option_element_of_option e) s) x y
      in
       { S.name = "click"; S.classe = `math_view;
         S.marshaller = new_marshaller }