The ticket is good, the boarding pass was electronic and on her phone. A paper boarding pass is not mandatory. So, she is compensated. The paper boarding pass is not mandatory these days. But take both if you have time. Some airline employees cause you inconvenience and the airline liability when they are slow to assimilate to the new processes designed to save time and money. The airlines are set to save a few $100,000.00 every year on boarding passes and the machines in the airport. They are about to disappear.