Fix pragma error suggestion.

This commit is contained in:
chriseth 2018-10-08 22:58:34 +02:00
parent 4ab2e03be3
commit 6a0b7759ba