From a7f919c7e86db22df0ae549613123c0dc8ea4ee8 Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Fri, 16 Apr 2004 14:34:01 +0000
Subject: [PATCH] Change the default print names for the characters #\^\\,
 #\^], #\^^, and #\^_ to be the ASCII names.  (This is for consistency.  There
 was a bug in printing the name for #\^\\, and this works around that.)

---
 code/char.lisp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/code/char.lisp b/code/char.lisp
index d714f80c1..10795c860 100644
--- a/code/char.lisp
+++ b/code/char.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/char.lisp,v 1.13 2002/12/07 16:56:00 toy Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/char.lisp,v 1.14 2004/04/16 14:34:01 rtoy Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -86,10 +86,10 @@
 	 (#x19 ("^y" "Em"))
 	 (#x1A ("^z" "Sub"))
 	 (#x1B ("Escape" "^[" "Altmode" "Esc" "Alt"))
-	 (#x1C ("^\\" "Fs"))
-	 (#x1D ("^]" "Gs"))
-	 (#x1E ("^^" "Rs"))
-	 (#x1F ("^_" "Us"))
+	 (#x1C ("Fs" "^\\"))
+	 (#x1D ("Gs" "^]"))
+	 (#x1E ("Rs" "^^"))
+	 (#x1F ("Us" "^_"))
 	 (#x20 ("Space" "Sp"))
 	 (#x7f ("Rubout" "Delete" "Del")))))
 
-- 
GitLab