From 7731a20f563734063560a40d13ed0c841cb3820c Mon Sep 17 00:00:00 2001
From: Simon Rozman <simon@rozman.si>
Date: Mon, 3 Jul 2023 13:55:34 +0200
Subject: [PATCH] interval: Add interval_vector

Signed-off-by: Simon Rozman <simon@rozman.si>
---
 include/stdex/interval.hpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/stdex/interval.hpp b/include/stdex/interval.hpp
index 291a9c0b5..ddb84b0b2 100644
--- a/include/stdex/interval.hpp
+++ b/include/stdex/interval.hpp
@@ -6,6 +6,7 @@
 #pragma once
 
 #include "sal.hpp"
+#include <vector>
 
 namespace stdex
 {
@@ -59,4 +60,7 @@ namespace stdex
 		///
 		inline operator bool() const { return start <= end; }
 	};
+
+	template <class T, class _Alloc = std::allocator<interval<T>>>
+	using interval_vector = std::vector<interval<T>, _Alloc>;
 }