Ignore:
Timestamp:
Nov 25, 2011, 6:12:47 PM (8 years ago)
Author:
campbell
Message:

Pacify changes to destruct tactic.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/PositiveMap.ma

    r1562 r1566  
    178178    cases (update A b' a r)
    179179    [ #_ normalize #E destruct
    180     | #t' #H normalize #E destruct * // #b'' #NE @H /2/
     180    | #t'' #H normalize #E destruct * // #b'' #NE @H /2/
    181181    ]
    182182  ]
     
    187187    cases (update A b' a l)
    188188    [ #_ normalize #E destruct
    189     | #t' #H normalize #E destruct * // #b'' #NE @H /2/
     189    | #t'' #H normalize #E destruct * // #b'' #NE @H /2/
    190190    ]
    191191  ]
Note: See TracChangeset for help on using the changeset viewer.