Project

General

Profile

Revision 5fccce23 src/backends/C/c_backend_header.ml

View differences:

src/backends/C/c_backend_header.ml
391 391
    (* Import the header *)
392 392
    fprintf header_fmt "/* Import header from %s */@." basename;
393 393
    fprintf header_fmt "@[<v>";
394
    print_import_prototype header_fmt (Dep (true, basename, [], true (* assuming it is staful *) ));
394
    print_import_prototype header_fmt {local=true; name=basename; content=[]; is_stateful=true} (* assuming it is staful *);
395 395
    fprintf header_fmt "@]@.";
396 396
    fprintf header_fmt "/* Import dependencies */@.";
397 397
    fprintf header_fmt "@[<v>";
......
434 434
    List.iter
435 435
      (fun dep -> 
436 436
	let (local, s) = dependency_of_top dep in 
437
	print_import_prototype header_fmt (Dep (local, s, [], true (* assuming it is stateful *))))
437
	print_import_prototype header_fmt {local=local; name=s; content=[]; is_stateful=true} (* assuming it is stateful *))
438 438
      dependencies;
439 439
    fprintf header_fmt "@]@.";
440 440
    fprintf header_fmt "/* Types definitions */@.";

Also available in: Unified diff