src/Pure/Tools/build.scala
changeset 58918 8d36bc5eaed3
parent 58908 58bedbc18915
child 58928 23d0ffd48006
--- a/src/Pure/Tools/build.scala	Wed Nov 05 22:39:49 2014 +0100
+++ b/src/Pure/Tools/build.scala	Thu Nov 06 11:44:41 2014 +0100
@@ -437,7 +437,7 @@
             val (loaded_theories0, known_theories0, syntax0) =
               info.parent.map(deps(_)) match {
                 case None =>
-                  (Set.empty[String], Map.empty[String, Document.Node.Name], Outer_Syntax.init())
+                  (Set.empty[String], Map.empty[String, Document.Node.Name], Pure_Syn.init())
                 case Some(parent) =>
                   (parent.loaded_theories, parent.known_theories, parent.syntax)
               }