# HG changeset patch
# User wenzelm
# Date 1009467988 -3600
# Node ID 6984018a98e31b6e4111a15d1ebe3875d5f982e7
# Parent  f0cf30cd7e4c171b5bb47fa731cb3ed11b6dccd0
tuned tracing_fn markup;

diff -r f0cf30cd7e4c -r 6984018a98e3 src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Thu Dec 27 16:46:04 2001 +0100
+++ b/src/Pure/Interface/proof_general.ML	Thu Dec 27 16:46:28 2001 +0100
@@ -120,7 +120,7 @@
 fun setup_messages () =
  (writeln_fn := message "output" "" "" "";
   priority_fn := message "information" (oct_char "360") (oct_char "361") "";
-  tracing_fn := message "tracing" (oct_char "360") (oct_char "361") (oct_char "375");
+  tracing_fn := message "tracing" (oct_char "360" ^ oct_char "375") (oct_char "361") "";
   warning_fn := message "warning" (oct_char "362") (oct_char "363") "### ";
   error_fn := message "error" (oct_char "364") (oct_char "365") "*** ");