Changeset 1243


Ignore:
Timestamp:
Sep 21, 2011, 5:53:26 PM (8 years ago)
Author:
mulligan
Message:

small changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/uses.ma

    r1241 r1243  
    6060  ].
    6161
     62axiom recover_graph: ∀globals. ertl_internal_function globals → table label (ertl_statement globals).
     63
    6264definition examine_internal ≝
    6365  λglobals: list ident.
    6466  λint_fun: ertl_internal_function globals.
    65     let uses ≝ tbl_fold ?? (examine_statement globals) (joint_if_graph … int_fun) (tbl_empty …) in
     67  let graph ≝ recover_graph globals int_fun in
     68  let uses ≝ tbl_fold ?? (examine_statement globals) (joint_if_graph … int_fun) (tbl_empty …) in
    6669      lookup uses.
Note: See TracChangeset for help on using the changeset viewer.