doc: remove left-over reference to isl_int interface
commitb9b08e288d54df91a1f9303fdb0b8730539cc5d2
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 22 Jun 2018 07:24:45 +0000 (22 09:24 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 22 Jun 2018 07:24:45 +0000 (22 09:24 +0200)
tree0dc2815a0e9dbd02ae4ebbc925f6856649885a72
parentdb1090fb3bf1b7385c29ab829979a9afd939da33
doc: remove left-over reference to isl_int interface

This was missing from isl-0.12-11-g6272dbd9df (deprecate isl_int,
Fri May 3 18:31:59 2013 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod