From 54b62cbef7a534fed6278cc42c4df1f9ddc6b57a Mon Sep 17 00:00:00 2001
From: Maxime Coste <mawww@kakoune.org>
Date: Sat, 26 May 2018 10:01:26 +1000
Subject: Do not expose C++ typeid().name to user facing errors on wrong option
 type

Fixes #2079
---
 src/shell_manager.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/shell_manager.cc')

diff --git a/src/shell_manager.cc b/src/shell_manager.cc
index a6d4a954..3615567e 100644
--- a/src/shell_manager.cc
+++ b/src/shell_manager.cc
@@ -10,6 +10,7 @@
 #include "file.hh"
 #include "flags.hh"
 #include "option.hh"
+#include "option_types.hh"
 #include "regex.hh"
 
 #include <cstring>
-- 
cgit v1.2.3