From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 6 Apr 2013 13:10:59 +0000 (+0200)
Subject: isl_stream_read_obj: return isl_obj_val instead of isl_obj_int
X-Git-Tag: isl-0.13~247
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/c4f2899d25c2ee147c6f86dc6d3fa772f5550577

isl_stream_read_obj: return isl_obj_val instead of isl_obj_int

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/isl_input.c b/isl_input.c
index 8aed9760..b887d1a4 100644
--- a/isl_input.c
+++ b/isl_input.c
@@ -2217,8 +2217,8 @@ static struct isl_obj obj_read(struct isl_stream *s)
 		    isl_int_is_neg(tok2->u.v)) {
 			if (tok2)
 				isl_stream_push_token(s, tok2);
-			obj.type = isl_obj_int;
-			obj.v = isl_int_obj_alloc(s->ctx, tok->u.v);
+			obj.type = isl_obj_val;
+			obj.v = isl_val_int_from_isl_int(s->ctx, tok->u.v);
 			isl_token_free(tok);
 			return obj;
 		}