doc: fix leftover from isl_dim to isl_space rename
commit1b3ba3b72c0482fd36bf0b4a1186a259f7bafeed
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 11 Jan 2014 07:41:51 +0000 (11 08:41 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 11 Jan 2014 07:41:51 +0000 (11 08:41 +0100)
tree4dcd16d0a194189de31d3b9da46d9a3ab9a9ad35
parentda6bcea1bbc8447818a32f34e4807dd26f27f0a4
doc: fix leftover from isl_dim to isl_space rename

We missed this in d07eed3 (rename isl_dim to isl_space,
Sun Aug 21 10:38:41 2011 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod