Changeset 2734


Ignore:
Timestamp:
Feb 26, 2013, 3:31:40 PM (7 years ago)
Author:
mckinna
Message:

yet another puzzling automation failure, in the repaired case:
"" now fails, while "assumption" succeeds?!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/switchRemoval.ma

    r2722 r2734  
    28762876         #Hexec whd in Hexec:(??%?); destruct (Hexec) whd @conj try @refl
    28772877         (* JHM: do this mostly by hand, to avoid broken automation *)
    2878          @(sws_returnstate ??????? (memext_free_extended_environment …) … (swc_call …)) //
     2878         @(sws_returnstate ??????? (memext_free_extended_environment …) … (swc_call …))
     2879         assumption
     2880         
    28792881    ]
    28802882  | 2: (* Assign statement *)
Note: See TracChangeset for help on using the changeset viewer.