From 17252f9838b6bbe703012c0d6569e3e62e5d2ff9 Mon Sep 17 00:00:00 2001
From: zoep <zoe.paraskevopoulou@gmail.com>
Date: Sun, 15 Dec 2024 22:30:16 +0200
Subject: [PATCH] Remove imports

---
 src/Act/CLI.hs | 4 ++--
 src/Act/Coq.hs | 1 -
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/Act/CLI.hs b/src/Act/CLI.hs
index 965adec3..e7cd9734 100644
--- a/src/Act/CLI.hs
+++ b/src/Act/CLI.hs
@@ -277,8 +277,8 @@ bytecodes cid src = do
   json <- solc Solidity src
   let (Contracts sol', _, _) = fromJust $ readStdJSON json
   let err = error $ "Cannot find Solidity contract " <> Text.unpack cid
-  pure $ ((fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').creationCode,
-          (fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').runtimeCode)
+  pure ((fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').creationCode,
+        (fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').runtimeCode)
 
 
 
diff --git a/src/Act/Coq.hs b/src/Act/Coq.hs
index 81cdb6cc..608f0f51 100644
--- a/src/Act/Coq.hs
+++ b/src/Act/Coq.hs
@@ -30,7 +30,6 @@ import EVM.ABI
 import Act.Syntax
 import Act.Syntax.Annotated
 
-import Debug.Trace
 type Fresh = State Int
 
 header :: T.Text