Lin-Manuel Miranda said this quote

On his way offstage, the president shook hands with Lin and said, I'm proud of you, man. (In a gesture of self-restraint, Lin had stuck to the performance calendar they had announced before learning that President Obama was coming, the one that said Javier Muñoz would play Hamilton that afternoon.)