src/Pure/ProofGeneral/proof_general_emacs.ML

--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Tue Jul 12 15:17:37 2011 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Tue Jul 12 15:32:16 2011 +0200
@@ -22,7 +22,7 @@
 val thm_depsN = "thm_deps";                (*meta-information about theorem deps*)
 val test_markupN = "test_markup";          (*XML markup for everything*)
 
-fun special ch = Symbol.SOH ^ ch;
+fun special ch = chr 1 ^ ch;
 
 
 (* render markup *)