diff --git a/boolector.cabal b/boolector.cabal
--- a/boolector.cabal
+++ b/boolector.cabal
@@ -1,5 +1,5 @@
 name:                boolector
-version:             0.0.0.6
+version:             0.0.0.7
 synopsis:            Haskell bindings for the Boolector SMT solver
 description:
 
diff --git a/src/Boolector.hs b/src/Boolector.hs
--- a/src/Boolector.hs
+++ b/src/Boolector.hs
@@ -219,6 +219,7 @@
                  -- *** Accessors
                  , isEqualSort
                  , isArraySort
+                 , isBoolSort
                  , isBitvecSort
                  , isFunSort
                  , funSortCheck
@@ -1058,6 +1059,12 @@
 isArraySort :: Sort -> Bool
 isArraySort srt = case sortTy srt of
                     ArraySort _ _ -> True
+                    _ -> False
+
+-- | Determine if @sort@ is a bool sort.
+isBoolSort :: Sort -> Bool
+isBoolSort srt = case sortTy srt of
+                    BoolSort -> True
                     _ -> False
 
 -- | Determine if @sort@ is a bit-vector sort.