From 37614773bb59967c7d815d31c8745b0096b11399 Mon Sep 17 00:00:00 2001 From: Michael Legleux Date: Mon, 16 Dec 2024 15:01:45 -0800 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