From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 29 Apr 2003 16:16:02 +0000 (+0000)
Subject: New dependencies.
X-Git-Tag: submitted~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=44d9d4ba98b90e6f90d87cae787573e648592ba6;p=helm.git

New dependencies.
---

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