projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
isl_set_wrap_facet: normalize resulting facet constraint
[platform/upstream/isl.git]
/
isl_convex_hull.c
diff --git
a/isl_convex_hull.c
b/isl_convex_hull.c
index
90720e5
..
d267747
100644
(file)
--- a/
isl_convex_hull.c
+++ b/
isl_convex_hull.c
@@
-427,6
+427,7
@@
isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
if (res == isl_lp_ok) {
isl_int_neg(num, num);
isl_seq_combine(facet, num, facet, den, ridge, dim);
+ isl_seq_normalize(ctx, facet, dim);
}
isl_int_clear(num);
isl_int_clear(den);