ocaml 3.09 transition

[helm.git] / helm / DEVEL / lablgtkmathview / gtkMathView.props

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.props b/helm/DEVEL/lablgtkmathview/gtkMathView.props
index cd4c5b190e593b7d087dc93512c8df567a3b5d64..d26050ce4872c02a495fdb73bd0bcaac06800db1 100644 (file)
--- 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 =