Changeset 1652


Ignore:
Timestamp:
Jan 23, 2012, 5:37:25 PM (6 years ago)
Author:
campbell
Message:

Forgot to apply 1583 to non-terminating case.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r1601 r1652  
    129129        trace_any_call S status_init status_end →
    130130        as_classifier S status_pre cl_other →
    131         ¬ (as_costed S status_pre) →
     131        ¬ (as_costed S status_init) →
    132132          trace_any_call S status_pre status_end.
    133133
Note: See TracChangeset for help on using the changeset viewer.