making interpretAndRun and the datum hijacking target visible

tweag · Feb 16, 2024 · 8c10524 · 8c10524
1 parent 46a8f4c
commit 8c10524
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/src/Cooked/Attack.hs b/src/Cooked/Attack.hs
@@ -1,6 +1,6 @@
 module Cooked.Attack (module X) where
 
 import Cooked.Attack.AddToken as X
-import Cooked.Attack.DatumHijacking as X hiding (datumHijackingTarget)
+import Cooked.Attack.DatumHijacking as X
 import Cooked.Attack.DoubleSat as X
 import Cooked.Attack.DupToken as X
diff --git a/src/Cooked/MockChain.hs b/src/Cooked/MockChain.hs
@@ -7,10 +7,6 @@ import Cooked.MockChain.Staged as X hiding
   ( MockChainLog,
     MockChainLogEntry,
     StagedMockChain,
-    interpretAndRun,
-    interpretAndRunWith,
-    runTweak,
-    runTweakFrom,
   )
 import Cooked.MockChain.Testing as X
 import Cooked.MockChain.UtxoSearch as X