From 9fea3d253fdaa074bf18951f9018a7a77a5e6a24 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?=
 <martin.horenovsky@gmail.com>
Date: Mon, 4 Apr 2022 11:40:59 +0200
Subject: [PATCH] Add missing include to catch_optional.hpp

---
 src/catch2/internal/catch_optional.hpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/catch2/internal/catch_optional.hpp b/src/catch2/internal/catch_optional.hpp
index fb7ebbb6..86eca344 100644
--- a/src/catch2/internal/catch_optional.hpp
+++ b/src/catch2/internal/catch_optional.hpp
@@ -8,6 +8,8 @@
 #ifndef CATCH_OPTIONAL_HPP_INCLUDED
 #define CATCH_OPTIONAL_HPP_INCLUDED
 
+#include <cassert>
+
 namespace Catch {
 
     // An optional type