Changeset 2253 for src/compiler.ma


Ignore:
Timestamp:
Jul 24, 2012, 7:40:22 PM (8 years ago)
Author:
campbell
Message:

Cminor to RTLabs is now a total function.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2205 r2253  
    1313  let p ≝ program_switch_removal p in
    1414  ! p ← clight_to_cminor p;
    15   ! p ← cminor_to_rtlabs p;
     15  let p ≝ cminor_to_rtlabs p in
    1616  return 〈p',p〉.
    1717
Note: See TracChangeset for help on using the changeset viewer.