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 ** -----------------------------------------------------------