diff --git a/README.md b/README.md
index 46e7cad1..e879fefa 100644
--- a/README.md
+++ b/README.md
@@ -13,7 +13,7 @@ Golem can be compiled on Linux and MacOS.
 It uses `CMake` for build configuration.
 Golem depends on [OpenSMT](https://github.com/usi-verification-and-security/opensmt/) for SMT solving and interpolation.
 If you already have OpenSMT installed, you can pass the path using `-DOPENSMT_HOME` option to `cmake` command.
-Note that Golem requires a specific version of OpenSMT, currently v2.4.3.
+Note that Golem requires a specific version of OpenSMT, currently v2.5.0.
 Otherwise, `cmake` will download the latest compatible version of OpenSMT and build it as a subproject.
 
 ## Usage