Project

General

Profile

Revision 2863281f src/backends/Horn/horn_backend_common.ml

View differences:

src/backends/Horn/horn_backend_common.ml
113 113
    List.fold_left (fun accu (id, (n, _)) ->
114 114
      let name = node_name n in
115 115
      if name = "_arrow" then
116
	let arrow_machine = Machine_code.arrow_machine in
116
	let arrow_machine = Machine_code_common.arrow_machine in
117 117
	(rename_machine_list
118 118
	  (concat prefix (concat (if fst then id else concat m.mname.node_id id) "_arrow"))
119 119
	  arrow_machine.mmemory

Also available in: Unified diff