mark some functions as (possibly) unused

[platform/upstream/isl.git] / cat.c

diff --git a/cat.c b/cat.c
index a37c183..f278e9c 100644 (file)
--- a/cat.c
+++ b/cat.c
@@ -1,12 +1,13 @@
 #include <assert.h>
-#include <isl_obj.h>
-#include <isl_printer.h>
-#include <isl_stream.h>
+#include <isl/obj.h>
+#include <isl/printer.h>
+#include <isl/stream.h>
 
 struct isl_arg_choice cat_format[] = {
        {"isl",         ISL_FORMAT_ISL},
        {"omega",       ISL_FORMAT_OMEGA},
        {"polylib",     ISL_FORMAT_POLYLIB},
+       {"ext-polylib", ISL_FORMAT_EXT_POLYLIB},
        {"latex",       ISL_FORMAT_LATEX},
        {0}
 };