-lexiconAstPp.cmi: lexiconAst.cmx
-disambiguatePp.cmi: lexiconAst.cmx
-lexiconMarshal.cmi: lexiconAst.cmx
-cicNotation.cmi: lexiconAst.cmx
-lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi
+lexiconAstPp.cmi: lexiconAst.cmo
+disambiguatePp.cmi: lexiconAst.cmo
+lexiconMarshal.cmi: lexiconAst.cmo
+cicNotation.cmi: lexiconAst.cmo
+lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi
cicNotation.cmi lexiconEngine.cmi
lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx disambiguatePp.cmx \
cicNotation.cmx lexiconEngine.cmi
cicNotation.cmi lexiconEngine.cmi
lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx disambiguatePp.cmx \
cicNotation.cmx lexiconEngine.cmi