66-strings: fixed exposed module

bruderj15 · Aug 12, 2024 · ae6d407 · ae6d407
1 parent a31e278
commit ae6d407
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hasmtlib.cabal b/hasmtlib.cabal
@@ -26,6 +26,7 @@ library
   default-extensions:  DataKinds, GADTs, TypeFamilies, OverloadedStrings
 
   exposed-modules:     Language.Hasmtlib
+                     , Language.Hasmtlib.Lens
                      , Language.Hasmtlib.Codec
                      , Language.Hasmtlib.Iteable
                      , Language.Hasmtlib.Boolean
@@ -44,7 +45,6 @@ library
                      , Language.Hasmtlib.Solver.OpenSMT
                      , Language.Hasmtlib.Solver.Yices
                      , Language.Hasmtlib.Solver.Z3
-                     , Language.Hasmtlib.Type.Lens
                      , Language.Hasmtlib.Type.Expr
                      , Language.Hasmtlib.Type.MonadSMT
                      , Language.Hasmtlib.Type.SMT