Merge pull request #373 from ethereum/fix-error-call

Fixing error call -- should have been `internalError`
ethereum · Sep 6, 2023 · 984cf28 · 984cf28
2 parents e2f32c2 + de2e21e
commit 984cf28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ** -----------------------------------------------------------