diff src/lread.c @ 37918:6beac97d064e

(Fload): Remove unused label.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 28 May 2001 12:05:08 +0000
parents 23382dbfb9d0
children 93dbf78d7b7a
line wrap: on
line diff
--- a/src/lread.c	Mon May 28 12:04:47 2001 +0000
+++ b/src/lread.c	Mon May 28 12:05:08 2001 +0000
@@ -777,8 +777,6 @@
     }
   else
     {
-    load_source:
-
       /* We are loading a source file (*.el).  */
       if (!NILP (Vload_source_file_function))
 	{