Checkout
rjung
committed
on 05 Aug
Use the right pragma syntax.
Follow-up to r1864435.