Fix missing header in default validator#385

evouga wants to merge 1 commit intoKattis:masterKattis/problemtools:masterfrom

evouga:defaultvalidator-fixevouga/problemtools:defaultvalidator-fixCopy head branch name to clipboard