X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2Fi_gdome_xslt.ml;h=6f686c482d7224771714e8ded072f126e9037401;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=92f74da39c74ecfb6d8d339f6d6fbc07af0ad945;hpb=54c2dc43bd9a12dca1d4edacc4324acd7bd07f0d;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml
index 92f74da39..6f686c482 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml
@@ -51,3 +51,8 @@ external saveResultToChannel:
     unit
   = "ml_saveResultToChannel"
 
+external enableErrorCallback  :  unit -> unit = "ml_enableErrorCallback"
+external disableErrorCallback :  unit -> unit = "ml_disableErrorCallback"
+external enableDebugCallback  :  unit -> unit = "ml_enableDebugCallback"
+external disableDebugCallback :  unit -> unit = "ml_disableDebugCallback"
+