Changeset 2915


Ignore:
Timestamp:
Mar 20, 2013, 9:37:13 AM (4 years ago)
Author:
sacerdot
Message:

Dead code removed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabsToRTL.ma

    r2912 r2915  
    877877    translate_cmp true globals c destrs srcrs1 srcrs2 ?
    878878  | Ocmpp sg c ⇒ λprf1,prf2,prf3.
    879     let is_Ocmpp ≝ 0 in
    880879    translate_cmp true globals c destrs srcrs1 srcrs2 ?
    881880  | _ ⇒ ⊥ (* assert false, implemented in run time or float op *)
Note: See TracChangeset for help on using the changeset viewer.