@@ -201,6 +201,7 @@ sendParserHighlighting =
201201 do ist <- getIState
202202 let hs = map unwrap . nub . map wrap $ idris_parserHighlights ist
203203 sendHighlighting hs
204+ ist <- getIState
204205 putIState ist {idris_parserHighlights = []}
205206 where wrap (fc, a) = (FC' fc, a)
206207 unwrap (fc', a) = (unwrapFC fc', a)