diff options
| -rw-r--r-- | common/command.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/command.cc b/common/command.cc index 5b30df58..9c2cc840 100644 --- a/common/command.cc +++ b/common/command.cc @@ -36,6 +36,7 @@ #include "jsonparse.h" #include "log.h" #include "version.h" +#include <timing.h> NEXTPNR_NAMESPACE_BEGIN |