From d61d91129903db0171b5da642ca6d2cd7da650a8 Mon Sep 17 00:00:00 2001
From: Matthijs Cox <79519355+matthijscox-asml@users.noreply.github.com>
Date: Fri, 27 Dec 2024 10:12:13 +0100
Subject: [PATCH] remove JET runtime dispatch error (#408)

---
 src/pool.jl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/pool.jl b/src/pool.jl
index 1018cfee..0ece21ce 100644
--- a/src/pool.jl
+++ b/src/pool.jl
@@ -67,8 +67,9 @@ it doesn't do this itself to avoid doing a dict lookup twice
 
     i = R(n + 1)
     push!(pool.levels, x)
-    if pool.hash !== nothing
-        pool.hash = hash(x, pool.hash)
+    pool_hash = pool.hash
+    if pool_hash !== nothing
+        pool.hash = hash(x, pool_hash)
     end
     pool.equalto = C_NULL
     pool.subsetof = C_NULL