Changeset 2911


Ignore:
Timestamp:
Mar 20, 2013, 12:12:28 AM (8 years ago)
Author:
sacerdot
Message:

Bug fixed in the translation of casts.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/RTLabs/RTLabsToRTL.ma

    r2866 r2911  
    448448    bind_new register (list (joint_seq RTL globals)) ≝
    449449  λglobals,src_sign,destrs,srcrs.
    450   match reduce_strong ?? destrs srcrs with
     450  match reduce_strong ?? srcrs destrs with
    451451  [ mk_Sig t prf ⇒
    452452    let src_common ≝ \fst (\fst t) in
Note: See TracChangeset for help on using the changeset viewer.