Changeset 2932


Ignore:
Timestamp:
Mar 21, 2013, 7:58:08 PM (4 years ago)
Author:
sacerdot
Message:

Same comment as previous commit on this file: the previous commit was just
adding a comment, not fixing the problem.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Traces.ma

    r2929 r2932  
    196196  [ sequential s next ⇒
    197197    match s with
    198     [ step_seq s ⇒
    199       match s with
    200       [ CALL f' args dest ⇒
     198    [ CALL f' args dest ⇒
    201199        match
    202200          (! bl ← block_of_call … (ev_genv p) f' st;
     
    207205      | _ ⇒ dummy
    208206      ]
    209     | _ ⇒ dummy
    210     ]
    211207  | _ ⇒ dummy
    212208  ]
Note: See TracChangeset for help on using the changeset viewer.