missing import

GUDHI · Oct 3, 2023 · 10f990d · 10f990d
1 parent 37fda79
commit 10f990d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...Simplex_tree/include/gudhi/Simplex_tree/multi_filtrations/Finitely_critical_filtrations.h b/...Simplex_tree/include/gudhi/Simplex_tree/multi_filtrations/Finitely_critical_filtrations.h
@@ -14,6 +14,7 @@
 #include <iostream>
 #include <algorithm>
 #include <limits>
+#include <vector>
 
 namespace Gudhi::multiparameter::multi_filtrations {