diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2018-08-08 10:51:49 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2018-08-08 10:51:49 +0200 |
commit | 4a44b1c96118c4a74c75c5d0791ee2395cf09900 (patch) | |
tree | cd6124d9014f7fed3a407d4feaa0531001651df2 /common | |
parent | 5df90bc5a5a273f5c50764f4045012b282e7fa36 (diff) | |
download | nextpnr-4a44b1c96118c4a74c75c5d0791ee2395cf09900.tar.gz nextpnr-4a44b1c96118c4a74c75c5d0791ee2395cf09900.tar.bz2 nextpnr-4a44b1c96118c4a74c75c5d0791ee2395cf09900.zip |
sync with master
Diffstat (limited to 'common')
-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 |