X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fuwobo%2Fuwobo_styles.ml;h=658209adc02b8cf2c45eaf0d0d8839d6f3b55347;hb=bc6b3da5f91648b34c55478b3db71a485894ebdf;hp=7730857ac3c998430ff2c3eb2c74c1be4a127437;hpb=8feb1cda5703daa4371c556593bab63514423a58;p=helm.git

diff --git a/daemons/uwobo/uwobo_styles.ml b/daemons/uwobo/uwobo_styles.ml
index 7730857ac..658209adc 100644
--- a/daemons/uwobo/uwobo_styles.ml
+++ b/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 ;