--- a/src/Pure/Tools/dump.scala Sun Sep 02 21:22:52 2018 +0200
+++ b/src/Pure/Tools/dump.scala Sun Sep 02 22:30:08 2018 +0200
@@ -136,7 +136,7 @@
else {
for {
(name, status) <- theories_result.nodes if !status.ok
- (tree, pos) <- theories_result.snapshot(name).messages if Protocol.is_error(tree)
+ (tree, _) <- theories_result.snapshot(name).messages if Protocol.is_error(tree)
} progress.echo_error_message(XML.content(Pretty.formatted(List(tree))))
session_result.copy(rc = session_result.rc max 1)