]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml
ocaml 3.09 transition
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / gdome_xslt / i_gdome_xslt.ml
index 92f74da39c74ecfb6d8d339f6d6fbc07af0ad945..6f686c482d7224771714e8ded072f126e9037401 100644 (file)
@@ -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"
+