Fix warning suppression in the json utility.#2462

quentin merged 1 commit intosouffle-lang:mastersouffle-lang/souffle:masterfrom

Xazax-hun:wrong_pragma_warningXazax-hun/souffle:wrong_pragma_warningCopy head branch name to clipboard