From 0c8f54fe720bc397735ba310526bbea771595ba2 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Tue, 17 Dec 2024 17:39:15 +0100 Subject: [PATCH] Fixing --- cli/cli.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/cli/cli.hs b/cli/cli.hs index 516158115..66fa6a8ca 100644 --- a/cli/cli.hs +++ b/cli/cli.hs @@ -46,6 +46,7 @@ import EVM.Types hiding (word, Env, Symbolic) import EVM.Types qualified import EVM.UnitTest import EVM.Effects +import EVM.Expr (maybeLitWord, maybeLitAddr) data AssertionType = DSTest | Forge deriving (Eq, Show, Read, ParseField)