Merge branch 'main' into cpr-fetch-content

2024-01-14 18:34:15 +01:00 · 2024-01-14 18:34:15 +01:00 · 03abd08418
commit 03abd08418
parent 759386f21b e7793907bf
1 changed files with 1 additions and 2 deletions
--- a/src/state_explorer.cpp
+++ b/src/state_explorer.cpp
@ -4,7 +4,6 @@
 #include <iostream>
 #include <memory>
 #include <numeric>
-#include <ranges>

 #include <readline/readline.h>
 #include <readline/history.h>