What year was there a Tony award category of Best Revival of a Musical?
CREATE TABLE table_name_72 (
    year VARCHAR,
    award VARCHAR,
    category VARCHAR
)
SELECT year FROM table_name_72 WHERE award = "tony award" AND category = "best revival of a musical"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What year was there a Tony award category of Best Revival of a Musical? ### Input: CREATE TABLE table_name_72 (
    year VARCHAR,
    award VARCHAR,
    category VARCHAR
) ### Response: SELECT year FROM table_name_72 WHERE award = "tony award" AND category = "best revival of a musical"