diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2018-08-10 19:51:35 -0700 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2018-08-10 19:51:35 -0700 |
| commit | fc0496ec718546366a47e60db090caa6a7059277 (patch) | |
| tree | d1366190553de2147aae4ab71a1179bb712b91d7 /common/timing.cc | |
| parent | a41500a015afe7fec5f7d122a37ccd1031f9fb51 (diff) | |
| parent | 8b04a646291bec7fb65b3580a08c266268acf010 (diff) | |
| download | nextpnr-fc0496ec718546366a47e60db090caa6a7059277.tar.gz nextpnr-fc0496ec718546366a47e60db090caa6a7059277.tar.bz2 nextpnr-fc0496ec718546366a47e60db090caa6a7059277.zip | |
Merge remote-tracking branch 'origin/master' into placer_speedup
Diffstat (limited to 'common/timing.cc')
| -rw-r--r-- | common/timing.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/timing.cc b/common/timing.cc index aadd8381..5e45f8a2 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -21,6 +21,7 @@ #include "timing.h" #include <algorithm> #include <boost/range/adaptor/reversed.hpp> +#include <deque> #include <unordered_map> #include <utility> #include "log.h" |