isl_options_parse: accept prefix before or after "no" on boolean options

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

diff --git a/cat.c b/cat.c
index a37c183..e40e83e 100644 (file)
--- a/cat.c
+++ b/cat.c
@@ -7,6 +7,7 @@ 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}
 };