From fdcfd5a055e284a035e51b1f4a8e9f5584caea6d Mon Sep 17 00:00:00 2001
From: mitchell <unknown>
Date: Fri, 25 May 2018 16:12:55 -0400
Subject: Backport: Add <vector> to files that include Platform.h as likely
 needed in future.

Backport of changeset 6959:b534742f5fa5.
---
 src/CallTip.cxx | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/CallTip.cxx')

diff --git a/src/CallTip.cxx b/src/CallTip.cxx
index db287ea4a..2dcf91ea6 100644
--- a/src/CallTip.cxx
+++ b/src/CallTip.cxx
@@ -13,6 +13,7 @@
 
 #include <stdexcept>
 #include <string>
+#include <vector>
 #include <algorithm>
 #include <memory>
 
-- 
cgit v1.2.3