--- a/src/Pure/Tools/build.scala Thu Apr 20 10:30:30 2017 +0200
+++ b/src/Pure/Tools/build.scala Thu Apr 20 10:35:00 2017 +0200
@@ -223,8 +223,7 @@
ML_Syntax.print_string0(File.platform_path(output))
if (pide && !Sessions.is_pure(name)) {
- val resources =
- new Resources(deps(parent), default_qualifier = info.theory_qualifier(name))
+ val resources = new Resources(deps(parent), default_qualifier = info.theory_qualifier)
val session = new Session(options, resources)
val handler = new Handler(progress, session, name)
session.init_protocol_handler(handler)