From ccc26a7f4fdc674579d18c8c3b31ae6f4732abbe Mon Sep 17 00:00:00 2001
From: Atsushi Watanabe <atsushi.w.roboken@gmail.com>
Date: Tue, 18 Oct 2016 21:35:45 +0900
Subject: [PATCH] Add missing <vector> include. (#74)

---
 cartographer/io/points_batch.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cartographer/io/points_batch.h b/cartographer/io/points_batch.h
index caf98d3..a1d0459 100644
--- a/cartographer/io/points_batch.h
+++ b/cartographer/io/points_batch.h
@@ -18,6 +18,7 @@
 #define CARTOGRAPHER_IO_POINTS_BATCH_H_
 
 #include <cstdint>
+#include <vector>
 
 #include "Eigen/Core"
 #include "cartographer/common/time.h"