Ignore:
Timestamp:
Apr 6, 2013, 7:35:25 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/extracted/globalenvs.ml

    r3043 r3106  
    314314let add_globals extract_init init_env vars =
    315315  Util.foldl (fun g_st id_init ->
    316     let { Types.fst = eta1345; Types.snd = init_info } = id_init in
    317     let { Types.fst = id; Types.snd = r } = eta1345 in
     316    let { Types.fst = eta1367; Types.snd = init_info } = id_init in
     317    let { Types.fst = id; Types.snd = r } = eta1367 in
    318318    let init = extract_init init_info in
    319319    let { Types.fst = g; Types.snd = st } = g_st in
     
    330330let init_globals extract_init g m vars =
    331331  Util.foldl (fun st id_init ->
    332     let { Types.fst = eta1346; Types.snd = init_info } = id_init in
    333     let { Types.fst = id; Types.snd = r } = eta1346 in
     332    let { Types.fst = eta1368; Types.snd = init_info } = id_init in
     333    let { Types.fst = id; Types.snd = r } = eta1368 in
    334334    let init = extract_init init_info in
    335335    Obj.magic
Note: See TracChangeset for help on using the changeset viewer.