/*
* Copyright 2008-2009 Katholieke Universiteit Leuven
*
- * Use of this software is governed by the GNU LGPLv2.1 license
+ * Use of this software is governed by the MIT license
*
* Written by Sven Verdoolaege, K.U.Leuven, Departement
* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
isl_int_clear(ctx->normalize_gcd);
isl_args_free(ctx->user_args, ctx->user_opt);
if (ctx->opt_allocated)
- free(ctx->opt);
+ isl_options_free(ctx->opt);
free(ctx->stats);
free(ctx);
}