- bound GtkSourceLanguagesManager (only get_lang..from_mime_type)

[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.ml

diff --git a/helm/DEVEL/lablgtksourceview/gtkSourceView.ml b/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
index 79d448b029e4ee8169b00d5d053604491fb92aaf..38e0dd4862480f90766dd16331505f1e9ee6f2c3 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
+++ b/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
@@ -71,7 +71,7 @@ struct
     [>`sourcelanguagesmanager] obj -> source_language obj list
     = "ml_gtk_source_languages_manager_get_available_languages" *)
   external get_language_from_mime_type:
-    [>`sourcelanguagesmanager] obj -> source_language obj
+    [>`sourcelanguagesmanager] obj -> string -> source_language obj option
     = "ml_gtk_source_languages_manager_get_language_from_mime_type"
 (*   external get_lang_files_dirs:
     [>`sourcelanguagesmanager] obj -> string list