/[svn]/driver/cduce.ml
ViewVC logotype

Diff of /driver/cduce.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1135 by abate, Tue Jul 10 18:24:51 2007 UTC revision 1136 by abate, Tue Jul 10 18:24:57 2007 UTC
# Line 293  Line 293 
293        Ml_checker.run ml_cu cd_cu;        Ml_checker.run ml_cu cd_cu;
294        let out = open_out ( Filename.concat out_dir (fnam ^ ".ml") ) in        let out = open_out ( Filename.concat out_dir (fnam ^ ".ml") ) in
295        let fmt = Format.formatter_of_out_channel out in        let fmt = Format.formatter_of_out_channel out in
296        Ml_generator.ML.generate fmt cu ml_cu cd_cu;        Ml_generator.ML.generate fmt fnam ml_cu cd_cu;
297        close_out out;        close_out out;
298      with Not_found -> (      with Not_found -> (
299        let name = fnam ^ ".mli" in        let name = fnam ^ ".mli" in
Legend:
Removed from v.1135  
changed lines
  Added in v.1136
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5