diff --git a/common/timing.h b/common/timing.h
index 025e4a76..b5574392 100644
--- a/common/timing.h
+++ b/common/timing.h
@@ -27,6 +27,8 @@ NEXTPNR_NAMESPACE_BEGIN
 // Assign "budget" values for all user ports in the design
 void assign_budget(Context *ctx);
 
+void update_budget(Context *ctx);
+
 NEXTPNR_NAMESPACE_END
 
 #endif