# HG changeset patch
# User wenzelm
# Date 1483180986 -3600
# Node ID 3197b68f43147f6292528b3529cda8c0ec62300c
# Parent  d2b50eb3d9ab1c0a8420b486366951a9287a423f
tuned signature;

diff -r d2b50eb3d9ab -r 3197b68f4314 src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Sat Dec 31 11:39:57 2016 +0100
+++ b/src/Pure/PIDE/resources.scala	Sat Dec 31 11:43:06 2016 +0100
@@ -23,7 +23,8 @@
 class Resources(
   val loaded_theories: Set[String],
   val known_theories: Map[String, Document.Node.Name],
-  val base_syntax: Outer_Syntax)
+  val base_syntax: Outer_Syntax,
+  val log: Logger = No_Logger)
 {
   /* document node names */
 
diff -r d2b50eb3d9ab -r 3197b68f4314 src/Tools/VSCode/src/vscode_resources.scala
--- a/src/Tools/VSCode/src/vscode_resources.scala	Sat Dec 31 11:39:57 2016 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Sat Dec 31 11:43:06 2016 +0100
@@ -38,8 +38,9 @@
     val text_length: Text.Length,
     loaded_theories: Set[String],
     known_theories: Map[String, Document.Node.Name],
-    base_syntax: Outer_Syntax)
-  extends Resources(loaded_theories, known_theories, base_syntax)
+    base_syntax: Outer_Syntax,
+    log: Logger = No_Logger)
+  extends Resources(loaded_theories, known_theories, base_syntax, log)
 {
   private val state = Synchronized(VSCode_Resources.State())