Project

General

Profile

Revision 2863281f src/plugins/salsa/machine_salsa_opt.ml

View differences:

src/plugins/salsa/machine_salsa_opt.ml
260 260
   ranges, formalEnv, printed_vars, and remaining vars to be printed) *)
261 261
let rec rewrite_instrs nodename m constEnv  vars_env m instrs ranges formalEnv printed_vars vars_to_print =
262 262
  let formal_env_def = FormalEnv.def constEnv vars_env in
263
  Format.eprintf "Rewrite intrs :%a@." Machine_code.pp_instrs instrs;
263
  Format.eprintf "Rewrite intrs :%a@." MC.pp_instrs instrs;
264 264
  let assign_vars = assign_vars nodename m constEnv vars_env in
265 265
  if !debug then (
266 266
    Format.eprintf "@.------------@ ";

Also available in: Unified diff