From d80ab61eeba51f08ffe49dd295e6f677c32d7987 Mon Sep 17 00:00:00 2001
From: Richard Stallman <rms@gnu.org>
Date: Tue, 21 Jul 1992 02:59:00 +0000
Subject: [PATCH] *** empty log message ***

From-SVN: r1648
---
 gcc/final.c | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/gcc/final.c b/gcc/final.c
index 4653a2fd0d2..1e6affde8b9 100644
--- a/gcc/final.c
+++ b/gcc/final.c
@@ -1672,16 +1672,7 @@ output_source_line (file, insn)
 
 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
       if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG)
-	{
-	  dbxout_source_file (file, filename);
-
-#ifdef ASM_OUTPUT_SOURCE_LINE
-	  ASM_OUTPUT_SOURCE_LINE (file, NOTE_LINE_NUMBER (insn));
-#else
-	  fprintf (file, "\t%s %d,0,%d\n", ASM_STABD_OP, 
-		   N_SLINE, NOTE_LINE_NUMBER (insn));
-#endif
-	}
+	dbxout_source_line (file, filename, NOTE_LINE_NUMBER (insn));
 #endif /* DBX_DEBUGGING_INFO || XCOFF_DEBUGGING_INFO */
 
 #ifdef DWARF_DEBUGGING_INFO
-- 
2.30.2