Changeset 1450


Ignore:
Timestamp:
Oct 21, 2011, 10:37:22 PM (8 years ago)
Author:
sacerdot
Message:

Disambiguation problem avoided.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLToERTL.ma

    r1388 r1450  
    346346  λglobals.λdef:rtlntc_internal_function globals.
    347347  let nb_params ≝ |joint_if_params ?? def| in
    348   let added_stacksize ≝ max 0 (nb_params - |RegisterParams|) in
     348  let added_stacksize ≝ max 0 (minus nb_params (|RegisterParams|)) in
    349349  let new_locals ≝ nub_by ? (eq_identifier ?) ((joint_if_locals … def) @ (joint_if_params … def)) in
    350350  let entry' ≝ joint_if_entry … def in
Note: See TracChangeset for help on using the changeset viewer.