diff --git a/src/util/serializer.cpp b/src/util/serializer.cpp
index a2b65c2d6e..1fb1bd1e42 100644
--- a/src/util/serializer.cpp
+++ b/src/util/serializer.cpp
@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
+#include <vector>
 #include <string>
 #include <limits>
 #include <stdio.h>
diff --git a/src/util/serializer.h b/src/util/serializer.h
index 18ab5c824e..0ca021d2ac 100644
--- a/src/util/serializer.h
+++ b/src/util/serializer.h
@@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #pragma once
+#include <vector>
 #include <iostream>
 #include <string>
 #include <sstream>