X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_options.c;h=d7f41694273fc0ff68d36af7f937e7fa7a40c188;hb=a41dca96db00c891c58a4535bb8920b5ed70e682;hp=28afd33c6cef657eb90b7b17578d404ac9abf19c;hpb=3fc4e41cbe232710979e1774440788f28caf3613;p=platform%2Fupstream%2Fisl.git

diff --git a/isl_options.c b/isl_options.c
index 28afd33..d7f4169 100644
--- a/isl_options.c
+++ b/isl_options.c
@@ -11,9 +11,9 @@
 #include <stdlib.h>
 #include <string.h>
 
-#include "isl_ctx.h"
-#include "isl_options.h"
-#include <isl_version.h>
+#include <isl/ctx.h>
+#include <isl/options.h>
+#include <isl/version.h>
 
 struct isl_arg_choice isl_lp_solver_choice[] = {
 	{"tab",		ISL_LP_TAB},
@@ -105,6 +105,8 @@ ISL_ARG_FLAGS(struct isl_options, bernstein_recurse, 0,
 ISL_ARG_BOOL(struct isl_options, bernstein_triangulate, 0,
 	"bernstein-triangulate", 1,
 	"triangulate domains during Bernstein expansion")
+ISL_ARG_BOOL(struct isl_options, pip_symmetry, 0, "pip-symmetry", 1,
+	"detect simple symmetries in PIP input")
 ISL_ARG_VERSION(print_version)
 ISL_ARG_END
 };