removed unnecessary include

VeriFIT · Oct 7, 2023 · a772b87 · a772b87
1 parent fb8c9d4
commit a772b87
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/mintermization.cc b/src/mintermization.cc
@@ -17,8 +17,6 @@
 
 #include "mata/parser/mintermization.hh"
 
-#include <vector>
-
 namespace {
     const mata::FormulaGraph* detect_state_part(const mata::FormulaGraph* node)
     {