Project

General

Profile

« Previous | Next » 

Revision d0f26f04

Added by LĂ©lio Brun 7 months ago

corrections for stateless nodes

View differences:

src/backends/C/c_backend_header.ml
302 302
    (* MAIN Header Printing functions *)
303 303
    (********************************************************************************************)
304 304

  
305
    let print_alloc_header header_fmt basename _prog machines dependencies spec
306
        =
305
    let print_alloc_header header_fmt basename machines dependencies =
307 306
      (* Include once: start *)
308 307
      let baseNAME = file_to_module_name basename in
309 308
      fprintf header_fmt

Also available in: Unified diff