From de2e21e7ab14a651478bf4392b2e16b555981f63 Mon Sep 17 00:00:00 2001
From: Mate Soos <mate.soos@ethereum.org>
Date: Wed, 6 Sep 2023 15:50:39 +0200
Subject: [PATCH] Fixing error call

---
 src/EVM/Expr.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/EVM/Expr.hs b/src/EVM/Expr.hs
index 8909e73b4..709287ccc 100644
--- a/src/EVM/Expr.hs
+++ b/src/EVM/Expr.hs
@@ -623,7 +623,7 @@ getAddr :: Expr Storage -> Maybe (Expr EAddr)
 getAddr (SStore _ _ p) = getAddr p
 getAddr (AbstractStore a) = Just a
 getAddr (ConcreteStore _) = Nothing
-getAddr (GVar _) = error "cannot determine addr of a GVar"
+getAddr (GVar _) = internalError "cannot determine addr of a GVar"
 
 
 -- ** Whole Expression Simplification ** -----------------------------------------------------------