--- a/src/Pure/proof_general.ML Tue Mar 14 22:06:31 2006 +0100
+++ b/src/Pure/proof_general.ML Tue Mar 14 22:06:33 2006 +0100
@@ -95,11 +95,11 @@
fun setup_xsymbols_output () =
Output.add_mode xsymbolsN
- (xsymbols_output, Symbol.default_indent, Symbol.encode_raw);
+ (xsymbols_output, K xsymbols_output, Symbol.default_indent, Symbol.encode_raw);
fun setup_pgml_output () =
Output.add_mode pgmlN
- (pgml_output, Symbol.default_indent, Symbol.encode_raw);
+ (pgml_output, K pgml_output, Symbol.default_indent, Symbol.encode_raw);
end;