From 12e12ae58908c03ec243c517976a8dab3d4eda74 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?=
 <15837247+mofeing@users.noreply.github.com>
Date: Sat, 1 Jun 2024 23:18:39 +0200
Subject: [PATCH] Fix `MLIR_jll` version to support v17 too

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index b21b8365..3bc02c7c 100644
--- a/Project.toml
+++ b/Project.toml
@@ -11,7 +11,7 @@ ScopedValues = "7e506255-f358-4e82-b7e4-beb19740aa63"
 
 [compat]
 CEnum = "0.4"
-MLIR_jll = "14,15,16"
+MLIR_jll = "14,15,16,17"
 Preferences = "1"
 ScopedValues = "1"
 julia = "1.9"