Index: b/copilot-theorem.cabal
===================================================================
--- a/copilot-theorem.cabal
+++ b/copilot-theorem.cabal
@@ -61,7 +61,7 @@ library
                           , random                >= 1.1 && < 1.3
                           , transformers          >= 0.5 && < 0.7
                           , xml                   >= 1.3 && < 1.4
-                          , what4                 >= 1.3 && < 1.5
+                          , what4                 >= 1.3 && < 1.6
 
                           , copilot-core          >= 3.16.1 && < 3.17
                           , copilot-prettyprinter >= 3.16.1 && < 3.17
