Project

General

Profile

Revision 30f46c0c src/backends/EMF/EMF_library_calls.ml

View differences:

src/backends/EMF/EMF_library_calls.ml
13 13
  if Corelang.is_imported_node decl then
14 14
    let inode = Corelang.imported_node_of_top decl in
15 15
    match inode.nodei_id, Filename.basename decl.top_decl_owner with
16
    | name, (("math" | "conv") as lib) -> (
16
    | name, (("lustrec_math" | "simulink_math_fcn" | "conv") as lib) -> (
17 17
      fprintf fmt "\"kind\": \"functioncall\",@ \"name\": \"%s\",@ \"library\": \"%s\",@ "
18 18
        name lib;
19 19
      fprintf fmt "\"lhs\": [@[%a@]],@ \"args\": [@[%a@]]"

Also available in: Unified diff