Fix exports

IntersectMBO · Feb 13, 2019 · 53dd10d · 53dd10d
1 parent aeb957f
commit 53dd10d
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/language-plutus-core/src/Crypto.hs b/language-plutus-core/src/Crypto.hs
@@ -5,7 +5,7 @@ import           Crypto.Error            (maybeCryptoError)
 import qualified Data.ByteString.Lazy    as BSL
 import           PlutusPrelude
 
--- This should return (error bool) when it fails (and the spec should be updated
+-- This should return @error {bool}@ when it fails (and the spec should be updated
 -- to reflect this); this code will be changed
 verifySignature :: BSL.ByteString -- ^ Public Key
                 -> BSL.ByteString -- ^ Message

diff --git a/language-plutus-core/src/Language/PlutusCore.hs b/language-plutus-core/src/Language/PlutusCore.hs
@@ -95,7 +95,6 @@ module Language.PlutusCore
     -- * Evaluation
     , EvaluationResultF (EvaluationSuccess, EvaluationFailure)
     , EvaluationResult
-    , runCk
     -- * Combining programs
     , applyProgram
     -- * Benchmarking

diff --git a/language-plutus-core/test/Spec.hs b/language-plutus-core/test/Spec.hs
@@ -17,6 +17,7 @@ import qualified Hedgehog.Range                             as Range
 import           Language.PlutusCore
 import           Language.PlutusCore.Constant
 import           Language.PlutusCore.DeBruijn
+import           Language.PlutusCore.Evaluation.CkMachine   (runCk)
 import           Language.PlutusCore.Generators
 import           Language.PlutusCore.Generators.AST
 import           Language.PlutusCore.Generators.Interesting