diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,8 @@
+2023-03-07
+        * Version bump (3.14). (#422)
+        * Remove function Copilot.Language.prettyPrint. (#412)
+        * Adjust to work with GHC 9.4. (#423)
+
 2023-01-07
         * Version bump (3.13). (#406)
 
diff --git a/copilot-language.cabal b/copilot-language.cabal
--- a/copilot-language.cabal
+++ b/copilot-language.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             3.13
+version:             3.14
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -42,10 +42,9 @@
                , data-reify            >= 0.6 && < 0.7
                , mtl                   >= 2.0 && < 3
 
-               , copilot-core          >= 3.13 && < 3.14
-               , copilot-interpreter   >= 3.13 && < 3.14
-               , copilot-prettyprinter >= 3.13 && < 3.14
-               , copilot-theorem       >= 3.13 && < 3.14
+               , copilot-core          >= 3.14 && < 3.15
+               , copilot-interpreter   >= 3.14 && < 3.15
+               , copilot-theorem       >= 3.14 && < 3.15
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise
diff --git a/src/Copilot/Language.hs b/src/Copilot/Language.hs
--- a/src/Copilot/Language.hs
+++ b/src/Copilot/Language.hs
@@ -39,7 +39,6 @@
   , prop
   , theorem
   , forall, exists
-  , prettyPrint
   ) where
 
 import Data.Int hiding (Int)
@@ -67,10 +66,3 @@
 import Copilot.Language.Prelude
 import Copilot.Language.Spec
 import Copilot.Language.Stream (Stream)
-import qualified Copilot.PrettyPrint as PP
-
--- | Transform a high-level Copilot Language specification into a low-level
--- Copilot Core specification and pretty-print it to stdout.
-{-# DEPRECATED prettyPrint "This function is deprecated in Copilot 3.11." #-}
-prettyPrint :: Spec -> IO ()
-prettyPrint e = fmap PP.prettyPrint (reify e) >>= putStr
diff --git a/src/Copilot/Language/Operators/BitWise.hs b/src/Copilot/Language/Operators/BitWise.hs
--- a/src/Copilot/Language/Operators/BitWise.hs
+++ b/src/Copilot/Language/Operators/BitWise.hs
@@ -1,5 +1,6 @@
 -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
 
+{-# LANGUAGE CPP  #-}
 {-# LANGUAGE Safe #-}
 
 {-# OPTIONS_GHC -fno-warn-orphans #-}
@@ -16,7 +17,12 @@
 import qualified Copilot.Core as Core
 import Copilot.Language.Stream
 import qualified Prelude as P
+
+#if MIN_VERSION_base(4,17,0)
+import Data.Bits hiding ((.>>.), (.<<.))
+#else
 import Data.Bits
+#endif
 
 -- | Instance of the 'Bits' class for 'Stream's.
 --
@@ -36,9 +42,11 @@
   bit          = P.error "tbd: bit"
   popCount     = P.error "tbd: popCount"
 
+#if !MIN_VERSION_base(4,17,0)
 -- | See 'xor'.
 (.^.) :: Bits a => a -> a -> a
 (.^.) = xor -- Avoid redefinition of the Operators.Boolean xor
+#endif
 
 -- | Shifting values of a stream to the left.
 (.<<.) :: (Bits a, Typed a, Typed b, P.Integral b)