# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1062173940 0
# Node ID 1ef52c5ec8951ab811fba2460d5b579b8c21f8c8
# Parent  a90dea69e7642f6fce57006046ad8fa198a656fe
(Saving Emacs Sessions): Correct previous change.

diff -r a90dea69e764 -r 1ef52c5ec895 man/misc.texi
--- a/man/misc.texi	Fri Aug 29 16:17:38 2003 +0000
+++ b/man/misc.texi	Fri Aug 29 16:19:00 2003 +0000
@@ -1886,8 +1886,7 @@
 or add these lines at the end of your @file{.emacs} file:
 
 @example
-(desktop-load-default)
-(desktop-read)
+(require 'desktop)
 (setq desktop-enable t)
 @end example