From f5fe2112b2eb895f94f2fca5e2e70061f30f9629 Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Wed, 6 Nov 2024 07:24:16 -0800
Subject: [PATCH] trim exports

---
 Data/SBV/Control.hs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Data/SBV/Control.hs b/Data/SBV/Control.hs
index 476acb6d..d4772f2b 100644
--- a/Data/SBV/Control.hs
+++ b/Data/SBV/Control.hs
@@ -17,15 +17,12 @@ module Data.SBV.Control (
      -- * User queries
        ExtractIO(..), MonadQuery(..), Query, query
 
-     -- * Create a fresh variable
-     , freshVar_, freshVar
-
      -- * Checking satisfiability
      , CheckSatResult(..), checkSat, ensureSat, checkSatUsing, checkSatAssuming, checkSatAssumingWithUnsatisfiableSet
 
      -- * Querying the solver
      -- ** Extracting values
-     , getValue, registerUISMTFunction, registerSMTType, getFunction, getUninterpretedValue, getModel, getAssignment, getSMTResult, getUnknownReason, getObservables
+     , registerUISMTFunction, registerSMTType, getFunction, getUninterpretedValue, getModel, getAssignment, getSMTResult, getUnknownReason, getObservables
 
      -- ** Extracting the unsat core
      , getUnsatCore