X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fuwobo%2Fuwobo_styles.ml;h=658209adc02b8cf2c45eaf0d0d8839d6f3b55347;hb=effab341df3fb2bfe403e51d360e81c8b0455e1a;hp=7730857ac3c998430ff2c3eb2c74c1be4a127437;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/software/daemons/uwobo/uwobo_styles.ml b/helm/software/daemons/uwobo/uwobo_styles.ml
index 7730857ac..658209adc 100644
--- a/helm/software/daemons/uwobo/uwobo_styles.ml
+++ b/helm/software/daemons/uwobo/uwobo_styles.ml
@@ -174,7 +174,7 @@ class styles =
                  raise (Uwobo_failure (sprintf "Unsupported property: %s" prop))
              in
              let p_last_stylesheet =
-              Gdome_xslt.processStylesheet last_stylesheet
+              Gdome_xslt.processStylesheet last_stylesheet'
              in
               p_stylesheets <-
                ((last_key,props),p_last_stylesheet)::p_stylesheets ;