Revert accidentally changed file.
commit17813536df4a5a39e84d1cbca1c78bec67d9ff85
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 16 Dec 2016 16:04:20 +0000 (16 16:04 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 16 Dec 2016 16:04:20 +0000 (16 16:04 +0000)
tree19a77bd8d4bd905dc9d38e9b13ad5a3cbbe2fe44
parent821934346a612b79a6b02b2b98f13e9e0507749a
Revert accidentally changed file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@243754 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/sanopt.c