Changeset 1249 for src/ERTL/uses.ma

Timestamp:

Sep 22, 2011, 11:41:27 AM (9 years ago)

Author:

mulligan

Message:

changes to get everything to typecheck again

File:

• src/ERTL/uses.ma (modified) (2 diffs)

src/ERTL/uses.ma

@@ -60 +60 @@
   ].
 
-axiom recover_graph: ∀globals. ertl_internal_function globals → table label (ertl_statement globals).
-
+(*
 definition examine_internal ≝
   λglobals: list ident.
@@ -68 +67 @@
   let uses ≝ tbl_fold ?? (examine_statement globals) (joint_if_graph … int_fun) (tbl_empty …) in
       lookup uses.
+*)