add isl_map_order_gt

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

diff --git a/isl_ctx.c b/isl_ctx.c
index 3b14509..1dff37b 100644 (file)
--- a/isl_ctx.c
+++ b/isl_ctx.c
@@ -61,6 +61,8 @@ void *isl_ctx_peek_options(isl_ctx *ctx, struct isl_args *args)
 {
        if (!ctx)
                return NULL;
+       if (args == &isl_options_args)
+               return ctx->opt;
        return find_nested_options(ctx->user_args, ctx->user_opt, args);
 }