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/common/StructuredTraces.ma

    r1583 r1601  
    6464        as_execute S status_pre_fun_call status_start_fun_call →
    6565        ∀H:as_classifier S status_pre_fun_call cl_call.
    66           as_after_return S (dp ?? status_pre_fun_call H) status_after_fun_call →
     66          as_after_return S (mk_Sig ?? status_pre_fun_call H) status_after_fun_call →
    6767          trace_label_return S status_start_fun_call status_after_fun_call →
    6868          trace_any_label S end_flag status_after_fun_call status_final →
     
    118118        as_execute S status_pre_fun_call status_start_fun_call →
    119119        ∀H:as_classifier S status_pre_fun_call cl_call.
    120           as_after_return S (dp ?? status_pre_fun_call H) status_after_fun_call →
     120          as_after_return S (mk_Sig ?? status_pre_fun_call H) status_after_fun_call →
    121121          trace_label_return S status_start_fun_call status_after_fun_call →
    122122          trace_any_call S status_after_fun_call status_final →
Note: See TracChangeset for help on using the changeset viewer.