src/Pure/Tools/build.scala
changeset 56393 22f533e6a049
parent 56392 bc118a32a870
child 56428 1acf2d76ac23
     1.1 --- a/src/Pure/Tools/build.scala	Thu Apr 03 20:17:12 2014 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Apr 03 20:53:35 2014 +0200
     1.3 @@ -441,7 +441,7 @@
     1.4  
     1.5              val loaded_theories = thy_deps.loaded_theories
     1.6              val keywords = thy_deps.keywords
     1.7 -            val syntax = thy_deps.syntax
     1.8 +            val syntax = thy_deps.syntax.asInstanceOf[Outer_Syntax]
     1.9  
    1.10              val loaded_files = if (inlined_files) thy_deps.loaded_files else Nil
    1.11