src/Pure/Thy/bibtex.scala
changeset 75659 9bd92ac9328f
parent 75420 73a2f3fe0e8c
child 75906 2167b9e3157a
--- a/src/Pure/Thy/bibtex.scala	Fri Jul 08 20:06:53 2022 +0200
+++ b/src/Pure/Thy/bibtex.scala	Fri Jul 08 20:24:05 2022 +0200
@@ -206,7 +206,7 @@
             val full_name = Long_Name.qualify(Markup.CITATION, entry)
             val description = List(entry, "(BibTeX entry)")
             val replacement = quote(entry)
-          Completion.Item(r, original, full_name, description, replacement, 0, false)
+            Completion.Item(r, original, full_name, description, replacement, 0, false)
         }).sorted(history.ordering).take(rendering.options.int("completion_limit"))
     } yield Completion.Result(r, original, false, items)
   }