From 21b64b0e3cc025cd75d889ddf9b58b039e070b06 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 23 Apr 2014 12:38:27 +0200 Subject: [PATCH] export isl_stream_read_val We will need this to read schedules. Signed-off-by: Sven Verdoolaege --- include/isl/stream.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/isl/stream.h b/include/isl/stream.h index 76363e66..2add1296 100644 --- a/include/isl/stream.h +++ b/include/isl/stream.h @@ -73,6 +73,7 @@ enum isl_token_type isl_stream_register_keyword(__isl_keep isl_stream *s, const char *name); struct isl_obj isl_stream_read_obj(__isl_keep isl_stream *s); +__isl_give isl_val *isl_stream_read_val(__isl_keep isl_stream *s); __isl_give isl_multi_aff *isl_stream_read_multi_aff(__isl_keep isl_stream *s); __isl_give isl_map *isl_stream_read_map(__isl_keep isl_stream *s); __isl_give isl_set *isl_stream_read_set(__isl_keep isl_stream *s); -- 2.11.4.GIT