# HG changeset patch
# User wenzelm
# Date 1546259457 -3600
# Node ID 101ee69cba49e053ca436a50406f31de9cad5d7d
# Parent  e72360fef69a6117607adc1a4da28a60d443c470
tuned;

diff -r e72360fef69a -r 101ee69cba49 src/Tools/VSCode/src/document_model.scala
--- a/src/Tools/VSCode/src/document_model.scala	Mon Dec 31 13:07:24 2018 +0100
+++ b/src/Tools/VSCode/src/document_model.scala	Mon Dec 31 13:30:57 2018 +0100
@@ -144,7 +144,7 @@
 
   def get_blob: Option[Document.Blob] =
     if (is_theory) None
-    else Some((Document.Blob(content.bytes, content.text, content.chunk, pending_edits.nonEmpty)))
+    else Some(Document.Blob(content.bytes, content.text, content.chunk, pending_edits.nonEmpty))
 
 
   /* bibtex entries */