[r2004-06-25 12:24:30 by afrisch] Generate lowercase .ml

Original author: afrisch
Date: 2004-06-25 12:24:30+00:00

driver/cduce.ml

@@ -291,7 +291,7 @@ ifdef ML_INTERFACE then
       let ml_cu = ML.CompUnit.from_bytecode file cu
       and cd_cu = Ml_cduce.CompUnit.from_types_cu cu id in
       Ml_checker.run ml_cu cd_cu;
-      let out = open_out ( Filename.concat out_dir (cu ^ ".ml") ) in
+      let out = open_out ( Filename.concat out_dir (fnam ^ ".ml") ) in
       let fmt = Format.formatter_of_out_channel out in
       Ml_generator.ML.generate fmt cu ml_cu cd_cu;
       close_out out;