diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2025-01-07
+        * Version bump (4.2). (#577)
+        * Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. (#565)
+
 2024-11-07
         * Version bump (4.1). (#561)
 
diff --git a/copilot-prettyprinter.cabal b/copilot-prettyprinter.cabal
--- a/copilot-prettyprinter.cabal
+++ b/copilot-prettyprinter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-prettyprinter
-version:             4.1
+version:             4.2
 synopsis:            A prettyprinter of Copilot Specifications.
 description:
   A prettyprinter of Copilot specifications.
@@ -45,7 +45,7 @@
     base   >= 4.9 && < 5,
     pretty >= 1.0 && < 1.2,
 
-    copilot-core >= 4.1 && < 4.2
+    copilot-core >= 4.2 && < 4.3
 
   exposed-modules:
 
diff --git a/src/Copilot/PrettyPrint.hs b/src/Copilot/PrettyPrint.hs
--- a/src/Copilot/PrettyPrint.hs
+++ b/src/Copilot/PrettyPrint.hs
@@ -43,7 +43,7 @@
 --
 -- The type is ignored, and only the expression is pretty-printed.
 ppUExpr :: UExpr -> Doc
-ppUExpr UExpr { uExprExpr = e0 } = ppExpr e0
+ppUExpr (UExpr _ e0) = ppExpr e0
 
 -- | Pretty-print a unary operation.
 ppOp1 :: Op1 a b -> Doc -> Doc