diff --git a/src/Cryptol/Eval.hs b/src/Cryptol/Eval.hs
index a018b1fd..42386027 100644
--- a/src/Cryptol/Eval.hs
+++ b/src/Cryptol/Eval.hs
@@ -25,6 +25,7 @@ module Cryptol.Eval (
   , emptyEnv
   , evalExpr
   , evalDecls
+  , evalSel
   , EvalError(..)
   , forceValue
   ) where