Project

General

Profile

Revision 58a463e7 src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
343 343
    
344 344
    
345 345

  
346
let print_import_prototype fmt (_, s, _) =
346
let print_import_prototype fmt (Dep (_, s, _, _)) =
347 347
  fprintf fmt "#include \"%s.h\"@," s
348 348

  
349
let print_import_alloc_prototype fmt (_, s, _) =
350
  fprintf fmt "#include \"%s_alloc.h\"@," s
349
let print_import_alloc_prototype fmt (Dep (_, s, _, stateful)) =
350
  if stateful then
351
    fprintf fmt "#include \"%s_alloc.h\"@," s
351 352

  
352
let print_extern_alloc_prototypes fmt (_,_, header) =
353
let print_extern_alloc_prototypes fmt (Dep (_,_, header,_)) =
353 354
  List.iter (fun decl -> match decl.top_decl_desc with
354 355
  | ImportedNode ind when not ind.nodei_stateless ->
355 356
    let static = List.filter (fun v -> v.var_dec_const) ind.nodei_inputs

Also available in: Unified diff