From 77ca873deccb6c38f235896bf03f53d6cc0bcf2e Mon Sep 17 00:00:00 2001 From: Gloria Mundi Date: Mon, 14 Sep 2026 22:17:13 +0200 Subject: minor changes to test infrastructure --- test/util.h | 1 + 1 file changed, 1 insertion(+) (limited to 'test/util.h') diff --git a/test/util.h b/test/util.h index 98fd7f6..a6d605c 100644 --- a/test/util.h +++ b/test/util.h @@ -3,6 +3,7 @@ # define _GLIBCXX_SANITIZE_VECTOR 1 #endif #include +#include using namespace std; #ifdef SANITIZE -- cgit v1.2.3