#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"
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);