Changeset 798


Ignore:
Timestamp:
May 13, 2011, 1:10:23 PM (9 years ago)
Author:
campbell
Message:

Fix usual matita tactic mistake.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/CexecEquiv.ma

    r797 r798  
    367367  | #x cases x; #tr #s' #msg' whd in ⊢ (??%? → ?) @is_final_elim
    368368      [ #r ] #F #EXEC whd in EXEC:(??%?); destruct
    369   | #msg1 #msg2 #EXEC #E whd in EXEC:(??%?) destruct @refl
     369  | #msg1 #msg2 #EXEC #E whd in EXEC:(??%?); destruct @refl
    370370  ]
    371371| #o #k #i #e #H #EXEC #E destruct
Note: See TracChangeset for help on using the changeset viewer.