Ignore:
Timestamp:
Feb 27, 2012, 5:55:32 PM (8 years ago)
Author:
campbell
Message:

Remove junk from non-terminating structured traces.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r1709 r1783  
    105105      ∀status_initial: S.
    106106      ∀status_pre_fun_call: S.
    107       ∀status_after_fun_call: S.
    108107      ∀status_start_fun_call: S.
    109108        trace_label_call S status_initial status_pre_fun_call →
Note: See TracChangeset for help on using the changeset viewer.