From f61d2e4962398f992a78fdac171f0d65b2d0aaa2 Mon Sep 17 00:00:00 2001 From: Michael Legleux Date: Tue, 19 Nov 2024 00:59:50 -0800 Subject: [PATCH] Add header for set_difference 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 b21481dcbf9..f87f382167d 100644 --- a/src/test/csf/Tx.h +++ b/src/test/csf/Tx.h @@ -22,6 +22,7 @@ #include #include #include +#include #include #include #include