delets CNF_maker.scala