X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2F.depend;h=3a1c6036def82f4c2465eccb66b5ffff80032fcb;hb=c04c3ad1e1c5ff48ad9d91856050f1d8c0371289;hp=bcbd3cae2f0ca9705106910a817de4817d229493;hpb=8143bd09a92b3a1564e19c449e82c1ef4377f888;p=helm.git

diff --git a/matitaB/components/content_pres/.depend b/matitaB/components/content_pres/.depend
index bcbd3cae2..3a1c6036d 100644
--- a/matitaB/components/content_pres/.depend
+++ b/matitaB/components/content_pres/.depend
@@ -2,10 +2,10 @@ cicNotationLexer.cmi:
 smallLexer.cmi: 
 cicNotationParser.cmi: 
 box.cmi: 
+content2presMatcher.cmi: 
 termContentPres.cmi: cicNotationParser.cmi 
 boxPp.cmi: cicNotationPres.cmi 
 cicNotationPres.cmi: termContentPres.cmi box.cmi 
-content2presMatcher.cmi: 
 cicNotationLexer.cmo: cicNotationLexer.cmi 
 cicNotationLexer.cmx: cicNotationLexer.cmi 
 smallLexer.cmo: smallLexer.cmi 
@@ -14,6 +14,8 @@ cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi
 cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi 
 box.cmo: box.cmi 
 box.cmx: box.cmi 
+content2presMatcher.cmo: content2presMatcher.cmi 
+content2presMatcher.cmx: content2presMatcher.cmi 
 termContentPres.cmo: content2presMatcher.cmi cicNotationParser.cmi \
     termContentPres.cmi 
 termContentPres.cmx: content2presMatcher.cmx cicNotationParser.cmx \
@@ -22,5 +24,3 @@ boxPp.cmo: box.cmi boxPp.cmi
 boxPp.cmx: box.cmx boxPp.cmi 
 cicNotationPres.cmo: termContentPres.cmi box.cmi cicNotationPres.cmi 
 cicNotationPres.cmx: termContentPres.cmx box.cmx cicNotationPres.cmi 
-content2presMatcher.cmo: content2presMatcher.cmi 
-content2presMatcher.cmx: content2presMatcher.cmi