Changeset 1108 for src/ERTL


Ignore:
Timestamp:
Aug 24, 2011, 3:04:20 PM (9 years ago)
Author:
mulligan
Message:

changes to get ertltoltli to compile

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTLI.ma

    r1084 r1108  
    231231    let l ≝ read globals srcr (λhdw. joint_st_sequential ? globals (joint_instr_to_acc globals hdw) l) in
    232232      joint_st_sequential ? globals (joint_instr_skip globals) l
    233   | ertl_st_return l ⇒ joint_st_return ? globals
     233  | ertl_st_return ⇒ joint_st_return ? globals
    234234  ].
    235235  cases daemon (* XXX: todo -- proofs regarding gvars *)
Note: See TracChangeset for help on using the changeset viewer.