fix parameter alignment when alignee has zero parameters
[platform/upstream/isl.git] / isl_convex_hull.c
index 90720e5..b355cda 100644 (file)
@@ -10,7 +10,7 @@
 #include "isl_lp.h"
 #include "isl_map.h"
 #include "isl_map_private.h"
-#include "isl_mat.h"
+#include <isl_mat_private.h>
 #include "isl_set.h"
 #include "isl_seq.h"
 #include "isl_equalities.h"
@@ -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);