From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 17 Jan 2003 14:45:29 +0000 (+0000)
Subject: rebuilt
X-Git-Tag: v0_3_99~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=deebdaec7a8b0f678fe45a36fb821a9c82c6931d;p=helm.git

rebuilt
---

diff --git a/helm/uwobo/src/ocaml/.depend b/helm/uwobo/src/ocaml/.depend
index f07755e38..96ae180f4 100644
--- a/helm/uwobo/src/ocaml/.depend
+++ b/helm/uwobo/src/ocaml/.depend
@@ -8,8 +8,8 @@ uwobo_engine.cmo: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi \
     uwobo_engine.cmi 
 uwobo_engine.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmx \
     uwobo_engine.cmi 
-uwobo_logger.cmo: uwobo_common.cmi uwobo_logger.cmi 
-uwobo_logger.cmx: uwobo_common.cmx uwobo_logger.cmi 
-uwobo_styles.cmo: uwobo_common.cmi uwobo_styles.cmi 
-uwobo_styles.cmx: uwobo_common.cmx uwobo_styles.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