big change in parsing, trying to make all functional

[helm.git] / matita / components / lexicon / .depend

diff --git a/matita/components/lexicon/.depend b/matita/components/lexicon/.depend
index 16c1145165e3acf1c2c923e16a634ce3f3967bef..fbe5dd0262fc0aef9c90b9c065815f4c69042872 100644 (file)
--- 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