summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2013-04-06 15:10:59 +0200
committerSven Verdoolaege <skimo@kotnet.org>2013-06-25 19:42:55 +0200
commitc4f2899d25c2ee147c6f86dc6d3fa772f5550577 (patch)
tree7f4f3facf13a363dae6619235f5c20ff4b33234f
parent095dbe323b6e6ae3ad92c210eb012723d7a8438c (diff)
downloadisl-c4f2899d25c2ee147c6f86dc6d3fa772f5550577.tar.gz
isl-c4f2899d25c2ee147c6f86dc6d3fa772f5550577.tar.bz2
isl-c4f2899d25c2ee147c6f86dc6d3fa772f5550577.zip
isl_stream_read_obj: return isl_obj_val instead of isl_obj_int
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
-rw-r--r--isl_input.c4
1 files changed, 2 insertions, 2 deletions
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;
}