From 7845b665125074d6cc9d7b71d1d69f8c261c1d50 Mon Sep 17 00:00:00 2001
From: gatecat <gatecat@ds0.me>
Date: Fri, 20 Jan 2023 09:04:41 +0100
Subject: Add missing <set> includes

Signed-off-by: gatecat <gatecat@ds0.me>
---
 common/kernel/command.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'common/kernel')

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"
-- 
cgit v1.2.3