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
  • extracted/joint_fullexec.ml

    r2960 r2968  
    194194    (fun p_stacks ->
    195195    Obj.magic
    196       (Monad.m_return0 (Monad.max_def Errors.res0)
    197         (Traces.make_initial_state { Traces.prog_spars = g; Traces.prog =
    198           (Obj.magic p_stacks).Types.fst; Traces.stack_sizes =
    199           (Obj.magic p_stacks).Types.snd }))) }
     196      (Traces.make_initial_state { Traces.prog_spars = g; Traces.prog =
     197        (Obj.magic p_stacks).Types.fst; Traces.stack_sizes =
     198        (Obj.magic p_stacks).Types.snd })) }
    200199
    201200(** val joint_preclassified_system :
Note: See TracChangeset for help on using the changeset viewer.