isl_tab_pip.c: sol_{map,pma}_add_empty: drop spurious error message
commit10fa52f19c1d1b252b46e4484753edf9853a516b
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Apr 2015 08:55:06 +0000 (22 10:55 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 1 May 2015 07:11:18 +0000 (1 09:11 +0200)
tree2542887f082d60b806baedf50ec95665c12baf20
parent4797e5ba7f5d4e75791fe460399175c20b189f1f
isl_tab_pip.c: sol_{map,pma}_add_empty: drop spurious error message

If sol->empty is NULL, then that means some previous operation
went wrong and we should have already printed an error message there.
There is no need to print another error message here.

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