[PATCH] Remove extraneous line in doc

[Simon Marchi]

I think that line wasn't meant to be there.

gdb/doc/ChangeLog:

	* gdb.texinfo (Debugging Forks): Remove extraneous line.
---
 gdb/doc/gdb.texinfo | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index f5dde61..bbc8dd7 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -3338,7 +3338,6 @@ For example:
 
 @smallexample
 (@value{GDBP}) info inferiors
-(gdb) info inferior
   Id   Description   Executable
 * 1    <null>        prog1
 (@value{GDBP}) run
-- 
2.9.3