X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2F.depend;h=78cde4140ab91a9780f28b05dc7b582173092baf;hb=9725ce192edbff9cc1c0af04a60065c1bfd31ca6;hp=759898ac62d342cc27c7eedb2251fb840dbbc47d;hpb=2bc5d5bfa8278945527b3f36ffd467802899b148;p=helm.git

diff --git a/helm/software/components/content_pres/.depend b/helm/software/components/content_pres/.depend
index 759898ac6..78cde4140 100644
--- a/helm/software/components/content_pres/.depend
+++ b/helm/software/components/content_pres/.depend
@@ -32,6 +32,8 @@ content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
     cicNotationPres.cmx box.cmx content2pres.cmi 
 cicClassify.cmo: cicClassify.cmi 
 cicClassify.cmx: cicClassify.cmi 
+proceduralConversion.cmo: proceduralConversion.cmi 
+proceduralConversion.cmx: proceduralConversion.cmi 
 proceduralTypes.cmo: proceduralTypes.cmi 
 proceduralTypes.cmx: proceduralTypes.cmi 
 acic2Procedural.cmo: proceduralTypes.cmi cicClassify.cmi acic2Procedural.cmi