Remove stale remnants of r181671 that had been removed in r188308 but were
commitb0ff6f34c1ce2d6d3e605e4e27feb758e3bccae7
authortejohnson <tejohnson@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 22 May 2013 15:48:27 +0000 (22 15:48 +0000)
committertejohnson <tejohnson@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 22 May 2013 15:48:27 +0000 (22 15:48 +0000)
tree8a1e5c0e600c188f1ce97e5c00c46b0a2441c5f4
parentb26e2c054b92ed3054511cb128090b7d4d36e2be
Remove stale remnants of r181671 that had been removed in r188308 but were
inadvertently added back when google/main was rebased at r194757.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/google@199204 138bc75d-0d04-0410-961f-82ee72b054a4
main/gcc/common.opt
main/gcc/doc/invoke.texi
main/gcc/params.def
main/gcc/tree-optimize.c