X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2Fml_gtk_sourceview.c;h=965618d2662737c598cbbcad3fae3cacd3bc544f;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=5d813d446edd28635e3cfd354880188ebbec2088;hpb=2d0ac77ede559409856f1b2f2fa85a27194b0ecf;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c b/helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c
index 5d813d446..965618d26 100644
--- a/helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c
+++ b/helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c
@@ -90,7 +90,7 @@ ml_gtk_source_languages_manager_set_lang_files_dirs(GObject *obj, value list)
 #define GtkSourceTagTable_val(val) check_cast(GTK_SOURCE_TAG_TABLE,val)
 #define GtkSourceBuffer_val(val) check_cast(GTK_SOURCE_BUFFER,val)
 #define GtkSourceView_val(val) check_cast(GTK_SOURCE_VIEW,val)
-#define GtkTextIter_val(val) ((GtkTextIter*)Data_custom_val(val))
+#define GtkTextIter_val(val) ((GtkTextIter*)MLPointer_val(val))
 #define Val_option_GtkAny(v) Val_option(v,Val_GtkAny)
 #define string_list_of_GSList(l) Val_GSList(l, (value_in) Val_string)
 /* #define GSList_of_string_list(l) GSList_val(l, String_val) */