Changeset 2120


Ignore:
Timestamp:
Jun 27, 2012, 12:59:18 PM (5 years ago)
Author:
campbell
Message:

Fix victim of alloc unfolding.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/CexecComplete.ma

    r1930 r2120  
    315315| #env1 #m1 #id #ty #l1 #m2 #loc #m3 #env2 #H1 #H2 #H3
    316316  < H3 whd in H1:(??%?) ⊢ (??%?);
    317   < (pair_eq1 ?????? H1) < (pair_eq2 ?????? H1)
     317  >H1
    318318  @refl
    319319] qed.
Note: See TracChangeset for help on using the changeset viewer.