Changeset 2033


Ignore:
Timestamp:
Jun 8, 2012, 4:57:14 PM (5 years ago)
Author:
sacerdot
Message:

Daemon reverted.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/toRTLabs.ma

    r2032 r2033  
    828828| #l % [ % [ @(fn_con_env … (pi2 ?? r)) | @(fn_con_env … (pi2 ?? cr)) ] | @(fn_con_env … (pi2 ?? br)) ] repeat @fn_contains_step @I
    829829| #l @(fn_con_env … (pi2 ?? cr)) repeat @fn_contains_step @I
    830 | (*#_ (* see above *) <E @(pi2 ?? r)*) (*CSC: FIXME!!!*) cases daemon
     830| #_ (* see above *) <E @(pi2 ?? r)
    831831| @(pi2 … (pf_entry …))
    832832| #l1 * [ #E >E %{l'} % [ @lookup_label_rev' | whd >lookup_add_hit % #E' destruct (E') ]
Note: See TracChangeset for help on using the changeset viewer.