trim exports

LeventErkok · Nov 6, 2024 · f5fe211 · f5fe211
1 parent 5097f8b
commit f5fe211
Showing 1 changed file with 1 addition and 4 deletions.
diff --git 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