Ignore:
Timestamp:
Jan 19, 2011, 6:23:27 PM (9 years ago)
Author:
campbell
Message:

Port memory spaces changes to latest prototype compiler.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/src/acc.ml

    r453 r460  
    3434  let final_ast, intermediate_asts = Misc.ListExt.cut_last target_asts in
    3535    Languages.save filename final_ast;
     36    if Options.is_matita_output_enabled () then
     37      Languages.save_matita filename (input_ast :: target_asts);
    3638    (if Options.annotation_requested () then
    3739       let annotated_input_ast = Languages.annotate input_ast final_ast in
Note: See TracChangeset for help on using the changeset viewer.