Changeset 1251 for src/ERTL/uses.ma


Ignore:
Timestamp:
Sep 22, 2011, 2:29:52 PM (9 years ago)
Author:
mulligan
Message:

changes to get things compiling again after yet another CSC rearrangement!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/uses.ma

    r1250 r1251  
    6060  λint_fun: ertl_internal_function globals.
    6161  let graph ≝ recover_graph globals int_fun in
    62   let uses ≝ tbl_fold ?? (examine_statement globals) (joint_if_graph … int_fun) (tbl_empty …) in
     62  let uses ≝ tbl_fold … (examine_statement globals) (joint_if_code … int_fun) (tbl_empty …) in
    6363      lookup uses.
    6464*)
Note: See TracChangeset for help on using the changeset viewer.