src/Pure/Thy/bibtex.scala
changeset 72856 3a27e6f83ce1
parent 72836 ec61e1767689
child 72957 75fc90edc0a8
--- a/src/Pure/Thy/bibtex.scala	Wed Dec 09 14:29:30 2020 +0100
+++ b/src/Pure/Thy/bibtex.scala	Wed Dec 09 15:14:24 2020 +0100
@@ -196,7 +196,7 @@
       Text.Info(r, name) <- rendering.citations(rendering.before_caret_range(caret)).headOption
       name1 <- Completion.clean_name(name)
 
-      original <- rendering.model.get_text(r)
+      original <- rendering.get_text(r)
       original1 <- Completion.clean_name(Library.perhaps_unquote(original))
 
       entries =