X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2F.depend;h=0f1df97cfac11d9050c547253eac2c68778fd2a2;hb=218a5d979626fce019c14a5cbaff5719b7c36cb2;hp=96ae180f4a28cd4816d38d70f267b95f074a5de5;hpb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;p=helm.git

diff --git a/helm/uwobo/.depend b/helm/uwobo/.depend
index 96ae180f4..0f1df97cf 100644
--- a/helm/uwobo/.depend
+++ b/helm/uwobo/.depend
@@ -10,6 +10,7 @@ uwobo_engine.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmx \
     uwobo_engine.cmi 
 uwobo_logger.cmo: uwobo_logger.cmi 
 uwobo_logger.cmx: uwobo_logger.cmi 
-uwobo_styles.cmo: uwobo_styles.cmi 
-uwobo_styles.cmx: uwobo_styles.cmi 
-uwobo_engine.cmi: uwobo_logger.cmi uwobo_styles.cmi 
+uwobo_styles.cmo: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi 
+uwobo_styles.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmi 
+uwobo_engine.cmi: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi 
+uwobo_styles.cmi: uwobo_common.cmi uwobo_logger.cmi