Project

General

Profile

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

View differences:

src/backends/C/c_backend_header.ml
294 294
    (* Import the header *)
295 295
    fprintf header_fmt "/* Import header from %s */@." basename;
296 296
    fprintf header_fmt "@[<v>";
297
    print_import_prototype header_fmt (true, basename, []);
297
    print_import_prototype header_fmt (Dep (true, basename, [], true (* assuming it is staful *) ));
298 298
    fprintf header_fmt "@]@.";
299 299
    fprintf header_fmt "/* Import dependencies */@.";
300 300
    fprintf header_fmt "@[<v>";
......
336 336
    fprintf header_fmt "/* Import dependencies */@.";
337 337
    fprintf header_fmt "@[<v>";
338 338
    List.iter
339
      (fun dep -> let (local, s) = dependency_of_top dep in print_import_prototype header_fmt (local, s, []))
339
      (fun dep -> 
340
	let (local, s) = dependency_of_top dep in 
341
	print_import_prototype header_fmt (Dep (local, s, [], true (* assuming it is stateful *))))
340 342
      dependencies;
341 343
    fprintf header_fmt "@]@.";
342 344
    fprintf header_fmt "/* Types definitions */@.";

Also available in: Unified diff