X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2Fml_gdome_xslt.c;h=225698a7900ef6f43617fcd96f3727490792c09f;hb=30e7e7851234512642b7558924f5a17e419b3924;hp=bc2854a9b890066fec49d49aae7986d3d7248d22;hpb=dcde6ad4d108f1874827c0f2c09a3a3feeaa1dcf;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c
index bc2854a9b..225698a79 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c
@@ -116,9 +116,11 @@ value ml_applyStylesheet(value source, value style, value params)
       i+=2;
    }
    c_params[i] = NULL;
+   enter_blocking_section();
    res = applyStylesheet(Document_val(source),
 	                 XsltStylesheetPtr_val(style),
 			 c_params);
+   leave_blocking_section();
    free(c_params);
    if (res == NULL) {
       value* excp;