Remove imports

ethereum · Dec 15, 2024 · 17252f9 · 17252f9
1 parent e17833f
commit 17252f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -30,7 +30,6 @@ import EVM.ABI
 import Act.Syntax
 import Act.Syntax.Annotated
 
-import Debug.Trace
 type Fresh = State Int
 
 header :: T.Text