Changeset 1352 for src/RTL/RTLToERTL.ma


Ignore:
Timestamp:
Oct 11, 2011, 12:45:16 PM (8 years ago)
Author:
sacerdot
Message:

This commit is made necessary by the last Matita change.
Inclusion is now order of magnitudes faster in some situations.
However, some explicit "include alias" are now required to
achieve the old semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLToERTL.ma

    r1322 r1352  
    118118    let f_default ≝ λst. sequential ertl_params_ … (MOVE … 〈hardware st, pseudo tmpr〉) in
    119119    let defaults ≝ map … f_default restl in
    120       adds_graph ertl_params1 (init_tmpr :: saves @ defaults) start_lbl dest_lbl def
     120      adds_graph ertl_params1 ? (init_tmpr :: saves @ defaults) start_lbl dest_lbl def
    121121  ].
    122122
Note: See TracChangeset for help on using the changeset viewer.