Ignore:
Timestamp:
Jul 23, 2012, 2:05:10 PM (8 years ago)
Author:
campbell
Message:

Remove unused block structure in Cminor.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/toCminor.ma

    r2176 r2232  
    15441544| #H5 #H6 #H7 #H8 #H9 #H10 #H11 * * #H15 #H16 #H17 * * #H20 #H21 #H22
    15451545  try @conj try @conj try @conj try /2/
    1546 | 3,4: #H24 #H25 * #H29 #H30 * #H33 #H34 try @conj try @conj try @conj try /2/
    1547 | 5,6: #H36 #H37 #H38 * #H42 #H43 * #H46 #H47 try @conj try @conj try @conj try /2/ ]
     1546| *: #H36 #H37 #H38 * #H42 #H43 * #H46 #H47 try @conj try @conj try @conj try /2/ ]
    15481547qed.
    15491548
Note: See TracChangeset for help on using the changeset viewer.