diff options
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" |