合同规定屋顶用红瓦盖。

• The contract specifies red tiles for the roof.