From d4ea6658379cca19a4d1bdf28f8e06b3494a29db Mon Sep 17 00:00:00 2001
From: Emanuele Gaspari <inmarelibero@gmail.com>
Date: Mon, 19 Jan 2026 18:48:33 +0100
Subject: [PATCH] fixed Morpho Halmos test link

---
 examples/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/README.md b/examples/README.md
index 88569593..f07912e9 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -17,7 +17,7 @@
 - [Solady Verification]: verifies Solady's fixed-point math library.
 
 [Morpho Blue]: <https://github.com/morpho-org/morpho-blue>
-[HalmosTest]: <https://github.com/morpho-org/morpho-blue/blob/main/test/halmos/HalmosTest.sol>
+[HalmosTest]: <https://github.com/morpho-org/morpho-blue/blob/halmos/symbolicIrm/test/halmos/HalmosTest.sol>
 
 [Snekmate]: <https://github.com/pcaversaccio/snekmate>
 [ERC20TestHalmos]: <https://github.com/pcaversaccio/snekmate/blob/main/test/tokens/halmos/ERC20TestHalmos.t.sol>