Nikita Popov 5eb9acff28 [Polly] Revert changes to isl Python code
This partially reverts b605dab7a8352158ee0d399b8c3433f9a8b495a3,
dropping the changes to isl. This is an external library, so
we shouldn't modify it unless strictly necessary.
2025-01-13 13:11:39 +01:00
..