bound.c: split_on_domain_size: rename "dim" variable to "space"
commitb3b9be86b11808eaf9273994c8cce59f9f89a591
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 15 Aug 2021 09:43:52 +0000 (15 11:43 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 1 May 2022 10:55:41 +0000 (1 12:55 +0200)
tree2e0439f9186f6b074cbe63de99c560019c8693e2
parent9f4b2977644cef97adb923e12349c50b351d5e4d
bound.c: split_on_domain_size: rename "dim" variable to "space"

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