Project

General

Profile

Revision 5778dd5e src/backends/Horn/horn_backend_common.ml

View differences:

src/backends/Horn/horn_backend_common.ml
147 147
  (rename_current_list (full_memory_vars machines m)) 
148 148
  @ (rename_mid_list (full_memory_vars machines m))
149 149

  
150
let step_vars_c_m_x machines m =
151
  (inout_vars machines m) 
152
  @ (rename_current_list (full_memory_vars machines m)) 
153
  @ (rename_mid_list (full_memory_vars machines m)) 
154
  @ (rename_next_list (full_memory_vars machines m))
150 155

  
151 156

  
152 157
(* Local Variables: *)

Also available in: Unified diff