]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
delete some extraneous characters accidentally included in last change.
authorDavid Edelsohn <dje@gcc.gnu.org>
Tue, 23 Mar 2004 22:20:12 +0000 (17:20 -0500)
committerDavid Edelsohn <dje@gcc.gnu.org>
Tue, 23 Mar 2004 22:20:12 +0000 (17:20 -0500)
From-SVN: r79876

gcc/doc/invoke.texi

index 362898f8e9858d7e17aa42c9fcb5d7dec92597c7..0a502dafb7e71400bc7d0c16f1b09f7ef92c5816 100644 (file)
@@ -4892,7 +4892,7 @@ accurate.
 The maximum number of blocks in a region to be considered for
 interblock scheduling.  The default value is 10.
 
-@item max-sched-region-insns",
+@item max-sched-region-insns
 The maximum number of insns in a region to be considered for
 interblock scheduling.  The default value is 100.
 @end table