Changeset 2440 for src/joint


Ignore:
Timestamp:
Nov 7, 2012, 5:11:41 PM (7 years ago)
Author:
piccolo
Message:

fixed range_strong and linearise
(commit by Paolo, he's to blame in case)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/linearise.ma

    r2422 r2440  
    675675   (joint_if_stacksize ?? f_in)
    676676   (linearise_code p globals (joint_if_code … f_in) (pi2 … f_sig) (joint_if_entry … f_in))
    677    0 0 (* exit is dummy! *), ?».
     677   0 0 (* exit is dummy! *), ?». [2,4:// ]
    678678elim (linearise_code ?????) #c * #code_closed
    679679[3: #_ assumption ]
Note: See TracChangeset for help on using the changeset viewer.