From 1dfc09e53390c28d492c7daeb70203040cc3dce1 Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <dtc@galois.com>
Date: Tue, 29 Jan 2019 18:04:15 -0800
Subject: [PATCH] Export evalSel from Cryptol.Eval

This is needed to do eta-expansion of values when using Cryptol as a
library.
---
 src/Cryptol/Eval.hs | 1 +
 1 file changed, 1 insertion(+)

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