isl_seq_normalize: no need to scale down by one

diff --git a/isl_seq.c b/isl_seq.c
index 73af52d..30e7f54 100644 (file)
--- a/isl_seq.c
+++ b/isl_seq.c
@@ -210,7 +210,7 @@ void isl_seq_normalize(isl_int *p, unsigned len)
                return;
        isl_int_init(gcd);
        isl_seq_gcd(p, len, &gcd);
-       if (!isl_int_is_zero(gcd))
+       if (!isl_int_is_zero(gcd) && !isl_int_is_one(gcd))
                isl_seq_scale_down(p, p, gcd, len);
        isl_int_clear(gcd);
 }