src/Pure/Tools/spell_checker.scala

--- a/src/Pure/Tools/spell_checker.scala	Sun Nov 05 17:45:17 2017 +0100
+++ b/src/Pure/Tools/spell_checker.scala	Mon Nov 06 16:03:13 2017 +0100
@@ -56,7 +56,7 @@
   {
     for {
       spell_range <- rendering.spell_checker_point(range)
-      text <- rendering.model.try_get_text(spell_range)
+      text <- rendering.model.get_text(spell_range)
       info <- marked_words(spell_range.start, text, info => info.range.overlaps(range)).headOption
     } yield info
   }