From 0fb04432fa5b512efd9516ebadfc82889e1243e3 Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Wed, 30 Nov 2022 16:24:44 +0100
Subject: [PATCH] Quick fix of prb-math

---
 test/externalTests/prb-math.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/test/externalTests/prb-math.sh b/test/externalTests/prb-math.sh
index ffa2b7c01..98a73627f 100755
--- a/test/externalTests/prb-math.sh
+++ b/test/externalTests/prb-math.sh
@@ -39,7 +39,9 @@ function prb_math_test
 {
     local repo="https://github.com/paulrberg/prb-math"
     local ref_type=branch
-    local ref=main
+    # We currently pin the prb-math version to the latest version that support hardhat
+    # Please see here for details: https://github.com/ethereum/solidity/issues/13767
+    local ref=v2.5.0
     local config_file="hardhat.config.ts"
     local config_var="config"