drop isl_basic_set_interval
commit49d3573c931834366f640d8d4eca5709ab0f3c48
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Aug 2016 08:55:28 +0000 (11 10:55 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Feb 2017 11:31:07 +0000 (22 12:31 +0100)
treeb59f6cb7224f2f37a65adf2fe0ec1a9dd74bd55a
parent7540282d4d586b1082b2d8e6cd31c9c64e986b2e
drop isl_basic_set_interval

The last use of this function was removed in 2f6650b (isl_pip:
avoid empty domain during verification, Wed Nov 17 16:00:19 2010 +0100).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c