Hmm, I didn't know this. The Diet Coke you get from the cans and bottles is not the same as the Diet Coke from the fountain machines at restaurants. The latter uses saccharine. The former aspartame.
Someone found this out and sued. Diet Coke paid her $650.