Ignore:
Timestamp:
May 31, 2012, 4:41:33 PM (7 years ago)
Author:
garnier
Message:

Minor cleanup.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/labelSimulation.ma

    r2000 r2011  
    344344| swl_returnstate : ∀res,k,k',m. cont_with_labels k k' → state_with_labels_partial (Returnstate res k m) (Returnstate res k' m)
    345345| swl_finalstate : ∀r. state_with_labels_partial (Finalstate r) (Finalstate r)
    346 . 
     346.
    347347
    348348(* ... and add the states where the cases from switch statements are expanded.
Note: See TracChangeset for help on using the changeset viewer.