Following several years of declining Diet Pepsi sales, its sweetener will be switched