From 00fbea77ddc8697f0384058304acd000dfc0a2e4 Mon Sep 17 00:00:00 2001
From: Fan Jiang <i@fanjiang.me>
Date: Sun, 6 Sep 2020 14:43:10 -0400
Subject: [PATCH] Fix include issue

---
 gtsam/base/DSFMap.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gtsam/base/DSFMap.h b/gtsam/base/DSFMap.h
index 6d0fbca20..3a9d21aad 100644
--- a/gtsam/base/DSFMap.h
+++ b/gtsam/base/DSFMap.h
@@ -21,6 +21,7 @@
 #include <cstdlib>  // Provides size_t
 #include <map>
 #include <set>
+#include <vector>
 
 namespace gtsam {