Project

General

Profile

Revision 9603460e src/inliner.ml

View differences:

src/inliner.ml
40 40
let inline_call orig_expr args reset locals node =
41 41
  let loc = orig_expr.expr_loc in
42 42
  let uid = orig_expr.expr_tag in
43
  let rename v = 
44
    Format.fprintf Format.str_formatter "%s_%i_%s" 
43
  let rename v =
44
    if v = tag_true || v = tag_false then v else
45
    (Format.fprintf Format.str_formatter "%s_%i_%s" 
45 46
      node.node_id uid v;
46
    Format.flush_str_formatter ()
47
    Format.flush_str_formatter ())
47 48
  in
48 49
  let eqs' = List.map (rename_eq rename) node.node_eqs
49 50
  in
......
247 248
    node_clock = Clocks.new_var true;
248 249
    node_inputs = main_orig_node.node_inputs;
249 250
    node_outputs = [ok_output];
250
    node_locals = [];
251
    node_locals = ok_i;
251 252
    node_gencalls = [];
252 253
    node_checks = [];
253 254
    node_asserts = [];

Also available in: Unified diff