Project

General

Profile

Revision 0038002e src/backends/C/c_backend_makefile.ml

View differences:

src/backends/C/c_backend_makefile.ml
1 1
open Format
2
open LustreSpec
2 3
open Corelang
3 4

  
4 5
let header_has_code header =
......
40 41

  
41 42
module type MODIFIERS_MKF =
42 43
sig
43
  val other_targets: Format.formatter -> string -> string -> (string * bool * Corelang.top_decl list) list -> unit
44
  val other_targets: Format.formatter -> string -> string -> (string * bool * top_decl list) list -> unit
44 45
end
45 46

  
46 47
module EmptyMod =

Also available in: Unified diff