X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.props;h=d26050ce4872c02a495fdb73bd0bcaac06800db1;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=cd4c5b190e593b7d087dc93512c8df567a3b5d64;hpb=5c99f78f510b49bc1bcf95d430c98bb18826c63f;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.props b/helm/DEVEL/lablgtkmathview/gtkMathView.props
index cd4c5b190..d26050ce4 100644
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.props
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.props
@@ -16,9 +16,9 @@ external gdome_element_option_of_boxed_option :
   "ml_gtk_math_view_gdome_element_option_of_boxed_option"
 ;;
 
-external model_event_of_boxed_option model_event :
- Gpointer.boxed -> TElement.t option * gint * gint * gint =
-  "ml_gtk_math_view_model_event_of_boxed"
+external model_event_of_boxed_option :
+ Gpointer.boxed option -> TElement.t option * int * int * int =
+  "ml_gtk_math_view_model_event_of_boxed_option"
 
 let option_element_of_option =
  function
@@ -32,7 +32,7 @@ let option_element_of_boxed_option x =
 
 let model_event_of_boxed model_event =
  let id,x,y,state = model_event_of_boxed_option model_event in
-  option_element_of_boxed_option id,x,y,state
+  option_element_of_option id,x,y,state
 ;;
 
 let gdome_element_option_conv =