From 46736fc916f931e773864fe5656a551d03874040 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 29 Jul 2012 18:11:23 +0200
Subject: [PATCH] doc: add a note about isl_*_intersect and parametric sets

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 doc/user.pod | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/user.pod b/doc/user.pod
index f769885e..afd0f2ca 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2468,6 +2468,11 @@ the same (number of) parameters.
 		__isl_take isl_union_map *umap1,
 		__isl_take isl_union_map *umap2);
 
+The second argument to the C<_params> functions needs to be
+a parametric (basic) set.  For the other functions, a parametric set
+for either argument is only allowed if the other argument is
+a parametric set as well.
+
 =item * Union
 
 	__isl_give isl_set *isl_basic_set_union(
-- 
2.11.4.GIT