projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'maint'
[platform/upstream/isl.git]
/
pip.c
diff --git
a/pip.c
b/pip.c
index
eed7a3c
..
7977431
100644
(file)
--- a/
pip.c
+++ b/
pip.c
@@
-122,7
+122,7
@@
struct isl_vec *opt_at(struct isl_basic_set *bset,
bset = plug_in_parameters(bset, params);
- if (isl_basic_set_
fast
_is_empty(bset)) {
+ if (isl_basic_set_
plain
_is_empty(bset)) {
opt = isl_vec_alloc(bset->ctx, 0);
isl_basic_set_free(bset);
return opt;