src/Pure/Tools/bibtex.scala
changeset 67014 e6a695d6a6b2
parent 66152 18e1aba549f6
child 67203 85784e16bec8
--- a/src/Pure/Tools/bibtex.scala	Sun Nov 05 17:45:17 2017 +0100
+++ b/src/Pure/Tools/bibtex.scala	Mon Nov 06 16:03:13 2017 +0100
@@ -52,7 +52,7 @@
       Text.Info(r, name) <- rendering.citation(rendering.before_caret_range(caret))
       name1 <- Completion.clean_name(name)
 
-      original <- rendering.model.try_get_text(r)
+      original <- rendering.model.get_text(r)
       original1 <- Completion.clean_name(Library.perhaps_unquote(original))
 
       entries =