Changeset 2450


Ignore:
Timestamp:
Nov 9, 2012, 6:04:27 PM (7 years ago)
Author:
garnier
Message:

Minor typo

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/switchRemoval.ma

    r2449 r2450  
    27182718   switch(e) case_list ===>
    27192719      e ⇓ Vint i,
    2720       case_list' ← select_switch sz n case_list;
     2720      case_list' ← select_switch i case_list;
    27212721   Result = State  (seq_of_labeled_statement case_list') (Kswitch k) env mem
    27222722     
Note: See TracChangeset for help on using the changeset viewer.