# HG changeset patch
# User wenzelm
# Date 1207231436 -7200
# Node ID d1557acb9ef91e92a8b5f3f369e7182c3fef8b9d
# Parent  14a56f0134696c38776f23f98925b6f87814a903
Symbol.SOH;

diff -r 14a56f013469 -r d1557acb9ef9 src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 16:03:55 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 16:03:56 2008 +0200
@@ -24,7 +24,7 @@
 val thm_depsN = "thm_deps";                (*meta-information about theorem deps*)
 
 fun special oct =
-  if print_mode_active pgasciiN then chr 1 ^ chr (ord (oct_char oct) - 167)
+  if print_mode_active pgasciiN then Symbol.SOH ^ chr (ord (oct_char oct) - 167)
   else oct_char oct;