--- a/src/Pure/PIDE/query_operation.ML Sun Mar 30 21:24:59 2014 +0200
+++ b/src/Pure/PIDE/query_operation.ML Mon Mar 31 10:28:08 2014 +0200
@@ -20,7 +20,7 @@
SOME {delay = NONE, pri = 0, persistent = false, strict = false,
print_fn = fn _ => uninterruptible (fn restore_attributes => fn state =>
let
- fun result s = Output.result [(Markup.instanceN, instance)] s;
+ fun result s = Output.result [(Markup.instanceN, instance)] [s];
fun status m = result (Markup.markup_only m);
fun output_result s = result (Markup.markup (Markup.writelnN, []) s);
fun toplevel_error exn =