extra.md

@@ -27,7 +27,7 @@
 
 * 難易度：1
 
-巨大な`always`文がある場合、Vivadoは最適化をあきらめてしまいます。細かい単位で計算結果を`wire`に束縛することで、合成系へのヒントとできます。束縛した`wire`の名前のおかげで、クリティカルパスがどこなのかを判読することが容易になります。
+巨大な`case`文がある場合、Vivadoが最適化をあきらめてしまうことがあります。細かい単位で計算結果を`wire`に束縛することで、合成系へのヒントとできます。束縛した`wire`の名前のおかげで、クリティカルパスがどこなのかを判読することが容易になります。
 
 
 **回路を共通化する**