Checkout
rjung
committed
on 05 Aug
Follow up to r1864438 and r1864435:
Use the right pragma syntax also in the second file.