Ignore:
Timestamp:
Feb 9, 2011, 6:22:34 PM (9 years ago)
Author:
campbell
Message:

Pointer fixes for the temporary version of the compiler that can output matita
terms.

File:
1 edited

Legend:

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

    r460 r489  
    3232      src_language tgt_language input_ast
    3333  in
    34   let final_ast, intermediate_asts = Misc.ListExt.cut_last target_asts in
     34  let final_ast, intermediate_asts =
     35    match target_asts with
     36    | [] -> input_ast, []
     37    | _ -> Misc.ListExt.cut_last target_asts
     38  in
    3539    Languages.save filename final_ast;
    3640    if Options.is_matita_output_enabled () then
Note: See TracChangeset for help on using the changeset viewer.