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/command_manager.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/command_manager.cc')

diff --git a/src/command_manager.cc b/src/command_manager.cc
index afa630da..9cf0c805 100644
--- a/src/command_manager.cc
+++ b/src/command_manager.cc
@@ -6,6 +6,7 @@
 #include "context.hh"
 #include "flags.hh"
 #include "optional.hh"
+#include "option_types.hh"
 #include "ranges.hh"
 #include "register_manager.hh"
 #include "shell_manager.hh"
-- 
cgit v1.2.3