src/Pure/General/completion.scala

--- a/src/Pure/General/completion.scala	Sun Jan 14 20:58:41 2018 +0100
+++ b/src/Pure/General/completion.scala	Sun Jan 14 21:25:43 2018 +0100
@@ -220,7 +220,7 @@
           val replacement =
             List(original, xname1).map(Token.explode(Keyword.Keywords.empty, _)) match {
               case List(List(tok), _) if tok.kind == Token.Kind.CARTOUCHE =>
-                Library.cartouche_decoded(xname1)
+                Symbol.cartouche_decoded(xname1)
               case List(_, List(tok)) if tok.is_name => xname1
               case _ => quote(xname1)
             }