From 19797ae8d6c29b1b89f78e826b05789d356336d6 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Mon, 12 Jan 2015 19:35:31 +0000
Subject: [PATCH] Fix flag line highlighting

---
 src/highlighters.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/highlighters.cc b/src/highlighters.cc
index e9147f87..1f879b0b 100644
--- a/src/highlighters.cc
+++ b/src/highlighters.cc
@@ -645,13 +645,13 @@ HighlighterAndId create_flag_lines_highlighter(HighlighterParameters params)
     Color bg = str_to_color(params[0]);
 
     // throw if wrong option type
-    GlobalScope::instance().options()[option_name].get<Vector<LineAndFlag>>();
+    GlobalScope::instance().options()[option_name].get<Vector<LineAndFlag, MemoryDomain::Options>>();
 
     auto func = [=](const Context& context, HighlightFlags flags,
                     DisplayBuffer& display_buffer, BufferRange)
     {
         auto& lines_opt = context.options()[option_name];
-        auto& lines = lines_opt.get<Vector<LineAndFlag>>();
+        auto& lines = lines_opt.get<Vector<LineAndFlag, MemoryDomain::Options>>();
 
         CharCount width = 0;
         for (auto& l : lines)