Changeset 3010


Ignore:
Timestamp:
Mar 28, 2013, 3:46:14 PM (4 years ago)
Author:
tranquil
Message:

same bug as was in liveness is now fixed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTLptr/uses.ma

    r2741 r3010  
    3838      match s with
    3939      [ COST_LABEL _ ⇒ map
    40       | CALL _ _ _ ⇒ map
     40      | CALL id _ _ ⇒
     41        match id with
     42        [ inr pr ⇒ incr_arg (\fst pr) (incr_arg (\snd pr) map)
     43        | _ ⇒ map
     44        ]
    4145      | COND r _ ⇒ incr r map
    4246      | step_seq s ⇒
Note: See TracChangeset for help on using the changeset viewer.