-DEPOBJS = xml2Gdome.ml proofEngineReduction.ml proofEngine.ml cic2Xml.ml \
- cic2acic.ml logicalOperations.ml sequentPp.ml mquery.mli mquery.ml \
- gTopLevel.ml
+DEPOBJS = xml2Gdome.ml proofEngineReduction.ml proofEngine.ml \
+ doubleTypeInference.ml doubleTypeInference.mli cic2acic.ml \
+ cic2Xml.ml cic2acic.mli logicalOperations.ml sequentPp.ml \
+ mquery.mli mquery.ml gTopLevel.ml