Project

General

Profile

« Previous | Next » 

Revision e9350b02

Added by Xavier Thirioux almost 8 years ago

corrected various bugs in the compilation/installation Makefile.in.

View differences:

src/backends/C/c_backend_src.ml
150 150
*)
151 151
let pp_assign m self pp_var fmt var_type var_name value =
152 152
  let depth = expansion_depth value in
153
(*eprintf "pp_assign %a %a %d@." Types.print_ty var_type pp_val value depth;*)
153
(*Format.eprintf "pp_assign %a %a %a %d@." Types.print_ty var_type pp_val var_name pp_val value depth;*)
154 154
  let loop_vars = mk_loop_variables m var_type depth in
155 155
  let reordered_loop_vars = reorder_loop_variables loop_vars in
156 156
  let rec aux fmt vars =

Also available in: Unified diff