The theatre flourished until 1872 when it was replaced by Her Majesty's Opera House, later the Tivoli, in Guild Street."
The theatre continued until 1872 when it was replaced by Her Majesty's Opera House, later called Tivoli, in Guild Street.