Allow splint to build with bison 3.7#26

millert wants to merge 1 commit intosplintchecker:mastersplintchecker/splint:masterfrom

millert:bison_3_7_fixmillert/splint:bison_3_7_fixCopy head branch name to clipboard