X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flexicon%2F.depend;h=fbe5dd0262fc0aef9c90b9c065815f4c69042872;hb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;hp=16c1145165e3acf1c2c923e16a634ce3f3967bef;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/lexicon/.depend b/matita/components/lexicon/.depend
index 16c114516..fbe5dd026 100644
--- a/matita/components/lexicon/.depend
+++ b/matita/components/lexicon/.depend
@@ -15,7 +15,5 @@ lexiconEngine.cmo: lexiconMarshal.cmi lexiconAstPp.cmi lexiconAst.cmo \
     cicNotation.cmi lexiconEngine.cmi 
 lexiconEngine.cmx: lexiconMarshal.cmx lexiconAstPp.cmx lexiconAst.cmx \
     cicNotation.cmx lexiconEngine.cmi 
-lexiconSync.cmo: lexiconEngine.cmi lexiconAst.cmo cicNotation.cmi \
-    lexiconSync.cmi 
-lexiconSync.cmx: lexiconEngine.cmx lexiconAst.cmx cicNotation.cmx \
-    lexiconSync.cmi 
+lexiconSync.cmo: lexiconEngine.cmi lexiconAst.cmo lexiconSync.cmi 
+lexiconSync.cmx: lexiconEngine.cmx lexiconAst.cmx lexiconSync.cmi