add isl_local_space_has_dim_name

[platform/upstream/isl.git] / include / isl / obj.h

diff --git a/include/isl/obj.h b/include/isl/obj.h
index 6106724..3f26c0a 100644 (file)
--- a/include/isl/obj.h
+++ b/include/isl/obj.h
@@ -1,11 +1,11 @@
 #ifndef ISL_OBJ_H
 #define ISL_OBJ_H
 
-#include <isl/set.h>
-#include <isl/map.h>
-#include <isl/union_set.h>
-#include <isl/union_map.h>
-#include <isl/polynomial.h>
+#include <isl/set_type.h>
+#include <isl/map_type.h>
+#include <isl/union_set_type.h>
+#include <isl/union_map_type.h>
+#include <isl/polynomial_type.h>
 #include <isl/printer.h>
 
 #if defined(__cplusplus)
@@ -48,6 +48,7 @@ struct isl_int_obj;
 typedef struct isl_int_obj isl_int_obj;
 
 __isl_give isl_int_obj *isl_int_obj_alloc(isl_ctx *ctx, isl_int v);
+void isl_int_obj_free(__isl_take isl_int_obj *i);
 __isl_give isl_int_obj *isl_int_obj_add(__isl_take isl_int_obj *i1,
        __isl_take isl_int_obj *i2);
 __isl_give isl_int_obj *isl_int_obj_sub(__isl_take isl_int_obj *i1,