diff options
| author | myrtle <gatecat@ds0.me> | 2023-01-23 08:51:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-23 08:51:31 +0100 |
| commit | 985c688bf6062553fafcfad386fa724b5e956302 (patch) | |
| tree | 32792ec9c0ea391c0084a8968d2853151a1a4113 /common/kernel | |
| parent | 06eaffc57cdd9f4083a4ed2bab435771a8121ad0 (diff) | |
| parent | 7845b665125074d6cc9d7b71d1d69f8c261c1d50 (diff) | |
| download | nextpnr-985c688bf6062553fafcfad386fa724b5e956302.tar.gz nextpnr-985c688bf6062553fafcfad386fa724b5e956302.tar.bz2 nextpnr-985c688bf6062553fafcfad386fa724b5e956302.zip | |
Merge pull request #1080 from YosysHQ/gatecat/missing-includes
Add missing <set> includes
Diffstat (limited to 'common/kernel')
| -rw-r--r-- | common/kernel/command.cc | 2 |
1 files changed, 2 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" |