diff --git a/.github/fep-lean-pair.json b/.github/fep-lean-pair.json
index dbf9eb464..a05c53fab 100644
--- a/.github/fep-lean-pair.json
+++ b/.github/fep-lean-pair.json
@@ -1,4 +1,4 @@
 {
   "repository": "ActiveInferenceInstitute/fep_formal",
-  "revision": "3a382d43f675e86d66a1a91e6354a5ee239ad8ce"
+  "revision": "b3e21f6690a22a98cc68b609a818817247fd6868"
 }