Changeset 156 for C-semantics/CexecIO.ma


Ignore:
Timestamp:
Oct 6, 2010, 4:17:57 PM (9 years ago)
Author:
campbell
Message:

pdata support

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/CexecIO.ma

    r155 r156  
    838838napply opt_bindIO_OK; #u ecode;
    839839napply opt_bindIO_OK; #f ef;
    840 ncases sp in esb ecode; #esb ecode; nwhd in ecode:(??%%); ##[ ##1,2,3,4: ndestruct (ecode); ##]
     840ncases sp in esb ecode; #esb ecode; nwhd in ecode:(??%%); ##[ ##1,2,3,4,5: ndestruct (ecode); ##]
    841841nwhd; napply (initial_state_intro … esb ef);
    842842nqed.
Note: See TracChangeset for help on using the changeset viewer.