From 30a9879f00f270916a646145be5741c5a74012b7 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 16 Aug 2018 15:13:07 +0200 Subject: [PATCH] isl_output.c: print_omega_parameters: rename "dim" argument to "space" Signed-off-by: Sven Verdoolaege --- isl_output.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/isl_output.c b/isl_output.c index bdbf8896..1aa9bf05 100644 --- a/isl_output.c +++ b/isl_output.c @@ -446,15 +446,15 @@ __isl_give isl_printer *isl_print_space(__isl_keep isl_space *space, return p; } -static __isl_give isl_printer *print_omega_parameters(__isl_keep isl_space *dim, - __isl_take isl_printer *p) +static __isl_give isl_printer *print_omega_parameters( + __isl_keep isl_space *space, __isl_take isl_printer *p) { - if (isl_space_dim(dim, isl_dim_param) == 0) + if (isl_space_dim(space, isl_dim_param) == 0) return p; p = isl_printer_start_line(p); p = isl_printer_print_str(p, "symbolic "); - p = print_var_list(p, dim, isl_dim_param); + p = print_var_list(p, space, isl_dim_param); p = isl_printer_print_str(p, ";"); p = isl_printer_end_line(p); return p; -- 2.11.4.GIT