X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fuwobo%2Fuwobo_styles.ml;fp=helm%2Fsoftware%2Fdaemons%2Fuwobo%2Fuwobo_styles.ml;h=658209adc02b8cf2c45eaf0d0d8839d6f3b55347;hb=76b3c4e7fe26f98e56f05c0d45081261161f0b0d;hp=7730857ac3c998430ff2c3eb2c74c1be4a127437;hpb=c32591eb2a479cba053d804c350dd0564a2679ae;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 ;