Add update_budget() to timing.h header
This commit is contained in:
parent
1cd5c9dac8
commit
241418dc25
@ -27,6 +27,8 @@ NEXTPNR_NAMESPACE_BEGIN
|
|||||||
// Assign "budget" values for all user ports in the design
|
// Assign "budget" values for all user ports in the design
|
||||||
void assign_budget(Context *ctx);
|
void assign_budget(Context *ctx);
|
||||||
|
|
||||||
|
void update_budget(Context *ctx);
|
||||||
|
|
||||||
NEXTPNR_NAMESPACE_END
|
NEXTPNR_NAMESPACE_END
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
|
Loading…
Reference in New Issue
Block a user