temporarily make isl_val_int_from_isl_int available

[platform/upstream/isl.git] / isl_val_private.h

diff --git a/isl_val_private.h b/isl_val_private.h
index 32d59b4..7ecb1a3 100644 (file)
--- a/isl_val_private.h
+++ b/isl_val_private.h
@@ -46,6 +46,9 @@ __isl_give isl_val *isl_val_realign_domain(__isl_take isl_val *v,
        __isl_take isl_reordering *r);
 __isl_give isl_val *isl_val_zero_on_domain(__isl_take isl_local_space *ls);
 
+__isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1,
+       __isl_take isl_val *v2);
+
 int isl_val_check_match_domain_space(__isl_keep isl_val *v,
        __isl_keep isl_space *space);