Fixed incorrect initialiser value#560

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

NathanJPhillips:bugfix/json-falseNathanJPhillips/cbmc:bugfix/json-falseCopy head branch name to clipboard