add missing includes

vprover · Oct 2, 2024 · 481cc35 · 481cc35
1 parent a327cc6
commit 481cc35
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 0 deletions.
diff --git a/Inferences/Induction.hpp b/Inferences/Induction.hpp
@@ -19,6 +19,7 @@
 #include <cmath>
 #include <functional>
 #include <map>
+#include <unordered_map>
 
 #include "Forwards.hpp"
 

diff --git a/Inferences/SubsumptionDemodulationHelper.hpp b/Inferences/SubsumptionDemodulationHelper.hpp
@@ -12,6 +12,7 @@
 #define SUBSUMPTIONDEMODULATIONHELPER_HPP
 
 #include <unordered_set>
+#include <unordered_map>
 
 #include "Indexing/LiteralMiniIndex.hpp"
 #include "Kernel/Clause.hpp"

diff --git a/Kernel/MLMatcher.hpp b/Kernel/MLMatcher.hpp
@@ -19,6 +19,8 @@
 #include "Forwards.hpp"
 #include "Clause.hpp"
 
+#include <unordered_map>
+
 namespace Kernel {
 
 using namespace Lib;

diff --git a/Kernel/MLMatcherSD.hpp b/Kernel/MLMatcherSD.hpp
@@ -14,6 +14,8 @@
 #include "Clause.hpp"
 #include "Forwards.hpp"
 
+#include <unordered_map>
+
 namespace Kernel {
 
 using namespace Lib;

diff --git a/Kernel/UnificationWithAbstraction.cpp b/Kernel/UnificationWithAbstraction.cpp
@@ -13,6 +13,8 @@
  *
  */
 
+#include <vector>
+
 #include "Lib/Backtrackable.hpp"
 #include "Lib/Coproduct.hpp"
 #include "Shell/Options.hpp"