/* Written by Sven Verdoolaege, K.U.Leuven, Departement Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium  */
static void copy_values_from(isl_int *dst, Entier *src, unsigned n)
/* Written by Sven Verdoolaege, K.U.Leuven, Departement Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium  */
static void copy_values_from(isl_int *dst, Entier *src, unsigned n)
{
	int i;
	for (i = 0; i < n; ++i)
		entier_assign(dst[i], src[i]);
}