Ignore:
Timestamp:
Mar 26, 2013, 7:07:51 PM (7 years ago)
Author:
sacerdot
Message:

The initial status memory was not really initialized. Now it is.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/joint_fullexec.ma

    r2952 r2968  
    1616    (λpr.joint_make_global (mk_prog_params G (\fst pr) (\snd pr)))
    1717    (λp_stacks.
    18       return make_initial_state (mk_prog_params G (\fst p_stacks) (\snd p_stacks))).
     18      make_initial_state (mk_prog_params G (\fst p_stacks) (\snd p_stacks))).
    1919
    2020definition joint_preclassified_system : sem_params →
Note: See TracChangeset for help on using the changeset viewer.