From 9008d00b64c3a561bfb4d9a199aa28e704821bbe Mon Sep 17 00:00:00 2001 From: Etienne Vouga Date: Mon, 5 Jan 2026 12:04:02 -0600 Subject: [PATCH] Fix missing header --- support/default_validator/default_validator.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/support/default_validator/default_validator.cc b/support/default_validator/default_validator.cc index f70809fd..ca36249a 100644 --- a/support/default_validator/default_validator.cc +++ b/support/default_validator/default_validator.cc @@ -7,6 +7,7 @@ #include #include #include +#include const int EXIT_AC = 42; const int EXIT_WA = 43;