# HG changeset patch
# User wenzelm
# Date 1607267656 -3600
# Node ID ec61e176768973ec925f1d8a63aabf555549e515
# Parent  66ca5016b008424a3bde2cfa179d7b44366c854b
more robust;

diff -r 66ca5016b008 -r ec61e1767689 src/Pure/Thy/bibtex.scala
--- a/src/Pure/Thy/bibtex.scala	Sun Dec 06 13:49:25 2020 +0100
+++ b/src/Pure/Thy/bibtex.scala	Sun Dec 06 16:14:16 2020 +0100
@@ -27,7 +27,8 @@
 
     override def theory_suffix: String = "bibtex_file"
     override def theory_content(name: String): String =
-      """theory "bib" imports Pure begin bibtex_file """ + quote(name) + """ end"""
+      """theory "bib" imports Pure begin bibtex_file """ +
+        Outer_Syntax.quote_string(name) + """ end"""
 
     override def make_preview(snapshot: Document.Snapshot): Option[Presentation.Preview] =
     {