Add update_budget() to timing.h header

This commit is contained in:
Eddie Hung 2018-07-21 01:55:46 -07:00
parent 27a79a3a4f
commit f89115c3e3

View File

@ -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