# HG changeset patch
# User wenzelm
# Date 1491482516 -7200
# Node ID 68f8a0dab28be6adc59bad9fbbbd842f8a2f360b
# Parent  2b819faf45e91f5427f84143ab7fbda921891815
tuned whitespace;

diff -r 2b819faf45e9 -r 68f8a0dab28b src/Pure/Thy/thy_info.scala
--- a/src/Pure/Thy/thy_info.scala	Thu Apr 06 14:32:56 2017 +0200
+++ b/src/Pure/Thy/thy_info.scala	Thu Apr 06 14:41:56 2017 +0200
@@ -56,9 +56,7 @@
     def + (thy: (Document.Node.Name, Position.T)): Dependencies =
     {
       val (name, _) = thy
-      new Dependencies(rev_deps, keywords, abbrevs,
-        seen + name,
-        seen_theory + (name.theory -> thy))
+      new Dependencies(rev_deps, keywords, abbrevs, seen + name, seen_theory + (name.theory -> thy))
     }
 
     def deps: List[Thy_Info.Dep] = rev_deps.reverse