diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,6 @@
+2024-01-07
+        * Version bump (3.18). (#487)
+
 2023-11-07
         * Version bump (3.17). (#466)
 
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:             3.17
+version:             3.18
 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 >= 3.17 && < 3.18
+    copilot-core >= 3.18 && < 3.19
 
   exposed-modules: