Symbol.SOH;
authorwenzelm
Thu Apr 03 16:03:56 2008 +0200 (2008-04-03)
changeset 26526d1557acb9ef9
parent 26525 14a56f013469
child 26527 c392354a1b79
Symbol.SOH;
src/Pure/ProofGeneral/proof_general_emacs.ML
     1.1 --- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 16:03:55 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 16:03:56 2008 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  val thm_depsN = "thm_deps";                (*meta-information about theorem deps*)
     1.5  
     1.6  fun special oct =
     1.7 -  if print_mode_active pgasciiN then chr 1 ^ chr (ord (oct_char oct) - 167)
     1.8 +  if print_mode_active pgasciiN then Symbol.SOH ^ chr (ord (oct_char oct) - 167)
     1.9    else oct_char oct;
    1.10  
    1.11