diff --git a/examples/apps/dhcp_client/dhcp_client.gpr b/examples/apps/dhcp_client/dhcp_client.gpr
index 45ac4d7de..3c2bfef83 100644
--- a/examples/apps/dhcp_client/dhcp_client.gpr
+++ b/examples/apps/dhcp_client/dhcp_client.gpr
@@ -61,7 +61,7 @@ project DHCP_Client is
 
    package Prove is
       for Proof_Switches ("Ada") use Defaults.Proof_Switches;
-      for Proof_Switches ("rflx-dhcp_client-session.adb") use ("--timeout=420");
+      for Proof_Switches ("rflx-dhcp_client-session.adb") use ("--timeout=450");
    end Prove;
 
 end DHCP_Client;