barvinok.cc: basic_set_card: rename "dim" variable to "space"
commit54cfa7964544d8ca835464cbbeeb92e74b8bdf69
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Oct 2016 08:18:35 +0000 (25 10:18 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 7 Feb 2017 16:08:34 +0000 (7 17:08 +0100)
treedbdd9208683450ac2cdab43e40e7bb0f781be8fc
parente83f16632ba001cd76b400ea6131051bbcc2bfd6
barvinok.cc: basic_set_card: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
barvinok.cc