]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/uwobo/uwobo_styles.ml
bugfix:
[helm.git] / daemons / uwobo / uwobo_styles.ml
index 7730857ac3c998430ff2c3eb2c74c1be4a127437..658209adc02b8cf2c45eaf0d0d8839d6f3b55347 100644 (file)
@@ -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 ;