From 53d7c80139a2a008990fe39c639b87febaab3562 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 8 Jan 2006 14:26:34 +0000
Subject: [PATCH] renamed get-default-style-name to default-style-name

svn: r1785

original commit: a4bc9352354f1fdd8cf0268ca214030230e5b02b
---
 collects/mred/private/kernel.ss | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index 01379027..003f0492 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -226,7 +226,7 @@
     load-file
     insert-port
     save-port
-    get-default-style-name
+    default-style-name
     get-flattened-text
     put-file
     get-file
@@ -886,7 +886,7 @@
     get-end-position
     get-start-position
     get-position
-    get-default-style-name
+    default-style-name
     get-flattened-text
     put-file
     get-file
@@ -1097,7 +1097,7 @@
     do-copy
     delete
     insert
-    get-default-style-name
+    default-style-name
     get-flattened-text
     put-file
     get-file