From 11558df6bed673534cdadcf1db06c5ceda0d292f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 14 Aug 2015 18:34:33 -0700
Subject: [PATCH] chore(util/serializer): fix style

---
 src/util/serializer.cpp | 1 +
 src/util/serializer.h   | 1 +
 2 files changed, 2 insertions(+)

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>