-#include "isl_map.h"
-#include "isl_vec.h"
-#include "isl_lp.h"
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * 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
+ */
+
+#include <isl/map.h>
+#include <isl/vec.h>
+#include <isl/lp.h>
#include "isl_piplib.h"
#include "isl_map_piplib.h"
if (!sol)
goto error;
- if (vec)
- *vec = isl_vec_alloc(bmap->ctx, 1 + total);
+ if (vec) {
+ isl_ctx *ctx = isl_basic_map_get_ctx(bmap);
+ *vec = isl_vec_alloc(ctx, 1 + total);
+ }
if (vec && !*vec)
res = isl_lp_error;
else if (!sol->list)