Ignore:
Timestamp:
Feb 22, 2013, 12:13:51 PM (8 years ago)
Author:
sacerdot
Message:

Compiler fixed to include the ERTLptrToLTL pass.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ERTLptr/ERTLptrToLTL.ma

    r2694 r2697  
    441441qed.
    442442
    443 definition ertl_to_ltl: ertlptr_program → ltl_program ≝
     443definition ertlptr_to_ltl: ertlptr_program → ltl_program ≝
    444444  b_graph_transform_program … translate_data.
Note: See TracChangeset for help on using the changeset viewer.