From c3c77e50e42e8b9be0ea3a28355c827f7c1adbf6 Mon Sep 17 00:00:00 2001
From: Michael Kruse <isl@meinersbur.de>
Date: Tue, 30 Aug 2016 18:00:42 +0200
Subject: [PATCH] doc: add description of isl_space_is_equal

A description of what isl_space_is_equal checks was missing.

Signed-off-by: Michael Kruse <isl@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 doc/user.pod | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/user.pod b/doc/user.pod
index e7f2aa0d..e8ef924a 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -970,6 +970,12 @@ tuples (C<isl_dim_in>, C<isl_dim_out> or C<isl_dim_set>) of the given
 spaces are the same.  That is, it checks if they have the same
 identifier (if any), the same dimension and the same internal structure
 (if any).
+C<isl_space_is_equal> checks whether two spaces are identical.
+In particular, it checks whether they have the same type
+(parameter, set or map space), the same tuples
+(if they are not parameter spaces) in the sense
+of C<isl_space_tuple_is_equal> and the same parameters
+in the same order.
 
 It is often useful to create objects that live in the
 same space as some other object.  This can be accomplished
-- 
2.11.4.GIT