Ignore:
Timestamp:
Jan 21, 2011, 10:02:20 AM (7 years ago)
Author:
campbell
Message:

Update some of the commented-out parts of Globalenvs for testing.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/AST.ma

    r456 r467  
    149149
    150150ndefinition prog_var_names ≝ λF,V: Type. λp: program F V.
    151   map ?? (λx: ident × (list init_data) × memory_space × V. fst ?? (fst ?? x)) (prog_vars ?? p).
     151  map ?? (λx: ident × (list init_data) × memory_space × V. fst ?? (fst ?? (fst ?? x))) (prog_vars ?? p).
    152152(*
    153153(** * Generic transformations over programs *)
Note: See TracChangeset for help on using the changeset viewer.