-#include <isl_point_private.h>
-#include <isl_set.h>
#include <isl_map_private.h>
+#include <isl_point_private.h>
+#include <isl/set.h>
#include <isl_sample.h>
#include <isl_scan.h>
-#include <isl_seq.h>
+#include <isl/seq.h>
#include <isl_dim_private.h>
+isl_ctx *isl_point_get_ctx(__isl_keep isl_point *pnt)
+{
+ return pnt ? isl_dim_get_ctx(pnt->dim) : NULL;
+}
+
__isl_give isl_point *isl_point_alloc(__isl_take isl_dim *dim,
__isl_take isl_vec *vec)
{