Changeset 1915


Ignore:
Timestamp:
May 3, 2012, 7:13:54 PM (7 years ago)
Author:
garnier
Message:

Correction of a typo in switchRemoval.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/switchRemoval.ma

    r1883 r1915  
    88 * expression must match the constants on each branch of the switch). /!\ *)
    99
    10 (* Property of a Clight statement of containing a switch. Could be generalized into as kind of
     10(* Property of a Clight statement of containing no switch. Could be generalized into a kind of
    1111 * statement_P, if useful elsewhere. *)
    1212let rec switch_free (st : statement) : Prop ≝
Note: See TracChangeset for help on using the changeset viewer.