That was a misguided attempt to save money.  Public outcry shut down that plan.  But in reality, more kids prefer to eat ketchup than real veggies.  I saw a lot of fruits and veggies being tossed by most of the kids.

And unfortunately, they don't give leftover school food to the pigs anymore.  Poor pigs; they would eat veggies, along with all the other fun stuff in slop.