From 851b90f9c1871f4b53c061d85428b192ce788f50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tomasz=20Zieli=C5=84ski?=
 <tomaszzielinskijedenzwielu@gmail.com>
Date: Sun, 2 Jul 2023 12:32:56 +0200
Subject: [PATCH] Missing file.

---
 Global.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Global.h b/Global.h
index a869ac611..115ae79c5 100644
--- a/Global.h
+++ b/Global.h
@@ -633,6 +633,14 @@ namespace vstd
 		return v3;
 	}
 
+	template <typename T>
+	std::set<T> difference(const std::set<T> &s1, const std::set<T> s2)
+	{
+		std::set<T> s3;
+		std::set_difference(s1.begin(), s1.end(), s2.begin(), s2.end(), std::inserter(s3, s3.end()));
+		return s3;
+	}
+
 	template <typename Key, typename V>
 	bool containsMapping(const std::multimap<Key,V> & map, const std::pair<const Key,V> & mapping)
 	{