# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 991051508 0
# Node ID 6beac97d064e700221246bc1a9a3ed6601aefb80
# Parent  5bc9314b5f0aa556eca80fdde5f781a9c70a06ce
(Fload): Remove unused label.

diff -r 5bc9314b5f0a -r 6beac97d064e src/lread.c
--- 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))
 	{