From 67b87e45932df7a72cdec252f7bd5e70e469e7f1 Mon Sep 17 00:00:00 2001 From: Michael Legleux Date: Fri, 20 Feb 2026 03:09:05 +0900 Subject: [PATCH] fix: Add header for set_difference (#5197) Fix `error C2039: 'set_difference': is not a member of 'std'` --- src/test/csf/Tx.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/csf/Tx.h b/src/test/csf/Tx.h index b21481dcb..f87f38216 100644 --- a/src/test/csf/Tx.h +++ b/src/test/csf/Tx.h @@ -22,6 +22,7 @@ #include #include #include +#include #include #include #include