diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
index 2b1b699..b66d619 100644
--- a/copilot-verifier/CHANGELOG
+++ b/copilot-verifier/CHANGELOG
@@ -1,4 +1,5 @@
 2024-09-09
+        * Version bump (4.0). (#69)
         * Support verifying programs that use array updates. (#63)
         * Support verifying programs that use struct updates. (#57)
 
diff --git a/copilot-verifier/copilot-verifier.cabal b/copilot-verifier/copilot-verifier.cabal
index dec767b..d862a44 100644
--- a/copilot-verifier/copilot-verifier.cabal
+++ b/copilot-verifier/copilot-verifier.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          copilot-verifier
-Version:       3.20
+Version:       4.0
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com
 Copyright:     (c) Galois, Inc 2021-2024