isl_Polyhedron_Reduced_Basis: rename "dim" variable to "space"
commit9f4b2977644cef97adb923e12349c50b351d5e4d
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 15 Aug 2021 09:41:56 +0000 (15 11:41 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 1 May 2022 10:55:41 +0000 (1 12:55 +0200)
tree92fc22f044038ce81401994fc5c8d5e77cff190e
parentc71fc3c68f5662973bbcdb7f8a3422731ae45d01
isl_Polyhedron_Reduced_Basis: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
basis_reduction.c