Ignore:
Timestamp:
Oct 3, 2012, 11:33:45 AM (7 years ago)
Author:
campbell
Message:

Minor housekeeping.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/insertsort.test.ma

    r1515 r2385  
    2626
    2727example labelled_exec:
    28   (let p ≝ clight_label myprog in
     28  (let 〈p,init〉 ≝ clight_label myprog in
    2929   do s ← exec_up_to clight_fullexec p 1000
    3030     [EVint I32 (repr ? 0);EVint I32 (repr ? 0);EVint I32 (repr ? 0);EVint I32 (repr ? 0);EVint I32 (repr ? 0);EVint I32 (repr ? 0);EVint I32 (repr ? 0)];
Note: See TracChangeset for help on using the changeset viewer.