From 5f7464d90d0bfe641dd2c7bbbca6e78d92d9d818 Mon Sep 17 00:00:00 2001
From: Maxime Coste <mawww@kakoune.org>
Date: Thu, 16 Mar 2017 09:57:39 +0000
Subject: Try to clean up option include a bit

---
 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 78147d76..ad7f18ed 100644
--- a/src/shell_manager.cc
+++ b/src/shell_manager.cc
@@ -8,6 +8,7 @@
 #include "face_registry.hh"
 #include "file.hh"
 #include "flags.hh"
+#include "option.hh"
 #include "regex.hh"
 
 #include <cstring>
-- 
cgit v1.2.3