From 2580a8bd8ba5fd6fb64204588fcea5ebe6600250 Mon Sep 17 00:00:00 2001
From: Daniel Shahaf <danielsh@apache.org>
Date: Fri, 12 Jan 2018 16:08:22 +0000
Subject: [PATCH] 'main': Update $this_word state with our inferences.

Found by code inspection.
---
 highlighters/main/main-highlighter.zsh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh
index 4ea3842..cb4e914 100644
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@@ -552,6 +552,7 @@ _zsh_highlight_highlighter_main_paint()
           # Not an option flag; nothing to do.  (If the command line is
           # syntactically valid, ${this_word//:sudo_opt:/} should be
           # non-empty now.)
+          this_word=${this_word//:sudo_opt:/}
         fi
       elif [[ $this_word == *':sudo_arg:'* ]]; then
         next_word+=':sudo_opt:'