diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 0a88eabcf..82de225df 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -125,7 +125,7 @@ echo 'eval "$(~/.local/bin/mise activate zsh)"' >> ~/.zshrc
 
 Project requirements:
 
-- Rust 1.88+
+- Rust 1.90+
 - Python 3.11+
 - Docker (running)
 - Z3 solver library (for the policy prover crate)