-lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmo disambiguatePp.cmi \
- cicNotation.cmi lexiconEngine.cmi
-lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx disambiguatePp.cmx \
- cicNotation.cmx lexiconEngine.cmi
-lexiconSync.cmo: lexiconEngine.cmi cicNotation.cmi lexiconSync.cmi
-lexiconSync.cmx: lexiconEngine.cmx cicNotation.cmx lexiconSync.cmi
+lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi \
+ lexiconEngine.cmi
+lexiconEngine.cmx: lexiconMarshal.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