diff options
| author | gatecat <gatecat@ds0.me> | 2023-01-20 09:04:41 +0100 |
|---|---|---|
| committer | gatecat <gatecat@ds0.me> | 2023-01-20 09:04:41 +0100 |
| commit | 7845b665125074d6cc9d7b71d1d69f8c261c1d50 (patch) | |
| tree | 32792ec9c0ea391c0084a8968d2853151a1a4113 /common | |
| parent | 06eaffc57cdd9f4083a4ed2bab435771a8121ad0 (diff) | |
| download | nextpnr-7845b665125074d6cc9d7b71d1d69f8c261c1d50.tar.gz nextpnr-7845b665125074d6cc9d7b71d1d69f8c261c1d50.tar.bz2 nextpnr-7845b665125074d6cc9d7b71d1d69f8c261c1d50.zip | |
Add missing <set> includes
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to 'common')
| -rw-r--r-- | common/kernel/command.cc | 2 | ||||
| -rw-r--r-- | common/route/router2.cc | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/common/kernel/command.cc b/common/kernel/command.cc index bf785148..842d8a71 100644 --- a/common/kernel/command.cc +++ b/common/kernel/command.cc @@ -34,6 +34,8 @@ #include <fstream> #include <iostream> #include <random> +#include <set> + #include "command.h" #include "design_utils.h" #include "json_frontend.h" diff --git a/common/route/router2.cc b/common/route/router2.cc index cdd98b6e..bb545003 100644 --- a/common/route/router2.cc +++ b/common/route/router2.cc @@ -34,6 +34,7 @@ #include <deque> #include <fstream> #include <queue> +#include <set> #include "log.h" #include "nextpnr.h" |