diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index b4dc5cd0..1c5e3495 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "dotnet-ilverify": {
-      "version": "9.0.0",
+      "version": "9.0.4",
       "commands": [
         "ilverify"
       ]