Project

General

Profile

Revision 8446bf03 src/backends/Horn/horn_backend_common.ml

View differences:

src/backends/Horn/horn_backend_common.ml
10 10
(********************************************************************)
11 11

  
12 12
open Format
13
open LustreSpec
13
open Lustre_types
14 14
open Corelang
15 15
open Machine_code
16 16

  
......
108 108
  aux true machine.mname.node_id machine
109 109

  
110 110
(* Extract the arrows of a given node/machine *)
111
let arrow_vars machines machine : LustreSpec.var_decl list =
111
let arrow_vars machines machine : Lustre_types.var_decl list =
112 112
  let rec aux fst prefix m =
113 113
    List.fold_left (fun accu (id, (n, _)) ->
114 114
      let name = node_name n in

Also available in: Unified diff