Project

General

Profile

Revision 55537f48 src/machine_code.ml

View differences:

src/machine_code.ml
496 496
  assert (ISet.is_empty m0);
497 497
  assert (init0 = []);
498 498
  assert (Utils.IMap.is_empty j0);
499
  let m, init, j, locals, s = translate_eqs nd (m0, init0, j0, locals0, s0) sorted_eqs in
499
  let m, init, j, locals, s = translate_eqs nd (m0, init0, j0, locals0, []) sorted_eqs in
500 500
  let mmap = Utils.IMap.fold (fun i n res -> (i, n)::res) j [] in
501 501
  {
502 502
    mname = nd;

Also available in: Unified diff