iscc.c: read_ident: use isl_val
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 9 Apr 2013 14:15:53 +0000 (9 16:15 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 31 May 2013 08:53:20 +0000 (31 10:53 +0200)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
iscc.c

diff --git a/iscc.c b/iscc.c
index efa8d6e..214a854 100644 (file)
--- a/iscc.c
+++ b/iscc.c
@@ -2167,6 +2167,7 @@ static struct isl_obj read_bool_if_available(struct isl_stream *s)
 static __isl_give char *read_ident(struct isl_stream *s)
 {
        char *name;
+       isl_val *v;
        struct isl_token *tok, *tok2;
 
        name = isl_stream_read_ident_if_available(s);
@@ -2188,7 +2189,9 @@ static __isl_give char *read_ident(struct isl_stream *s)
                return NULL;
        }
        
-       name = isl_int_get_str(tok2->u.v);
+       v = isl_token_get_val(s->ctx, tok2);
+       name = isl_val_to_str(v);
+       isl_val_free(v);
        isl_token_free(tok);
        isl_token_free(tok2);