Project

General

Profile

Revision b08ffca7 src/backends/C/c_backend_header.ml

View differences:

src/backends/C/c_backend_header.ml
172 172
  else
173 173
    begin
174 174
      let static_inputs = List.filter (fun v -> v.var_dec_const) inode.nodei_inputs in
175
      let self = mk_new_name (inode.nodei_inputs@inode.nodei_outputs) "self" in
175
      let used name =
176
	   (List.exists (fun v -> v.var_id = name) inode.nodei_inputs)
177
	|| (List.exists (fun v -> v.var_id = name) inode.nodei_outputs) in
178
      let self = mk_new_name used "self" in
176 179
      fprintf fmt "extern %a;@.@."
177 180
	(print_reset_prototype self) (inode.nodei_id, static_inputs);
178 181

  

Also available in: Unified diff