Skip to content
Commit 2ae7d6d4 authored by Riccardo Mori's avatar Riccardo Mori
Browse files

Revert "Update isl to isl-0.24-69-g54aac5ac" 

This reverts commit 13f95cc3.

The commit makes some polly tests failing
parent 7290ddd6
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment