Project

General

Profile

Revision 80f93e0a src/backends/C/c_backend_header.ml

View differences:

src/backends/C/c_backend_header.ml
177 177
	  begin 
178 178
            (* Dynamic allocation *)
179 179
	    fprintf fmt "extern %a;@.@."
180
	      print_alloc_prototype (m.mname.node_id, m.mstatic)
180
	      print_alloc_prototype (m.mname.node_id, m.mstatic);
181

  
182
	    fprintf fmt "extern %a;@.@."
183
	      print_dealloc_prototype m.mname.node_id;
181 184
	  end;
182 185
	let self = mk_self m in
183 186
	fprintf fmt "extern %a;@.@."
......
219 222
      else
220 223
	begin 
221 224
          (* Dynamic allocation *)
222
	  fprintf fmt "extern %a;@."
223
		  print_alloc_prototype (m.mname.node_id, m.mstatic)
225
	  fprintf fmt "extern %a;@.@."
226
	    print_alloc_prototype (m.mname.node_id, m.mstatic);
227

  
228
	  fprintf fmt "extern %a;@.@."
229
	    print_dealloc_prototype m.mname.node_id
224 230
	end
225 231
    end
226 232

  

Also available in: Unified diff