Changeset 1601 for src/ERTL


Ignore:
Timestamp:
Dec 13, 2011, 2:49:52 PM (8 years ago)
Author:
sacerdot
Message:

Files ported to new version of the standard library.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r1515 r1601  
    404404  in
    405405    match joint_if_entry … int_fun with
    406     [ dp entry_label entry_label_prf ⇒
     406    [ mk_Sig entry_label entry_label_prf ⇒
    407407      match joint_if_exit … int_fun with
    408       [ dp exit_label exit_label_prf ⇒
     408      [ mk_Sig exit_label exit_label_prf ⇒
    409409          mk_joint_internal_function globals (ltl_params globals)
    410410            luniv (joint_if_runiverse … int_fun)
Note: See TracChangeset for help on using the changeset viewer.