From d0f2ba0ab15e63aa3511218a837eb6f057632ace Mon Sep 17 00:00:00 2001
From: Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com>
Date: Thu, 14 Mar 2024 16:21:55 +0100
Subject: Clean up more includes and targets

Some of the more specific issues addressed:
- missing log_level target/include
- header-only libs wrongly marking deps as private
- missing/misplaced gsl includes
---
 src/utils/automata/dfa_minimizer.hpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/utils/automata/dfa_minimizer.hpp')

diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp
index ae647b44..93acb83e 100644
--- a/src/utils/automata/dfa_minimizer.hpp
+++ b/src/utils/automata/dfa_minimizer.hpp
@@ -22,6 +22,7 @@
 #include <utility>
 #include <vector>
 
+#include "gsl/gsl"
 #include "nlohmann/json.hpp"
 #include "src/utils/cpp/hash_combine.hpp"
 #include "src/utils/cpp/hex_string.hpp"
-- 
cgit v1.2.3