X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2Fuwobo_styles.ml;h=218da17868260b195946d676ca9c9051ae8c6f76;hb=0f1696d5c0601f3070b9c1bb1f32dd82fceb033b;hp=b402987800bb6c51940197f1aa713c70ec4af015;hpb=de72c4ad2f799cfb2a2e23fadc14235a6e1c76e8;p=helm.git

diff --git a/helm/uwobo/src/ocaml/uwobo_styles.ml b/helm/uwobo/src/ocaml/uwobo_styles.ml
index b40298780..218da1786 100644
--- a/helm/uwobo/src/ocaml/uwobo_styles.ml
+++ b/helm/uwobo/src/ocaml/uwobo_styles.ml
@@ -50,7 +50,9 @@ class styles =
           List.fold_left
             (fun collected_styles key ->
               let (key, stylesheet) =
-                List.find (fun (k, _) -> k = key) stylesheets
+                try
+                  List.find (fun (k, _) -> k = key) stylesheets
+                with Not_found -> raise (Stylesheet_not_found key)
               in
               (key, Gdome_xslt.processStylesheet stylesheet)::collected_styles)
             []