From 0c62a503921817f1a161270b835fe70a797041bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?=
 <martin.horenovsky@gmail.com>
Date: Wed, 18 Dec 2019 18:02:57 +0100
Subject: [PATCH] Add the catch_main source file

---
 src/catch2/catch_main.cpp | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/catch2/catch_main.cpp

diff --git a/src/catch2/catch_main.cpp b/src/catch2/catch_main.cpp
new file mode 100644
index 00000000..23421afe
--- /dev/null
+++ b/src/catch2/catch_main.cpp
@@ -0,0 +1,6 @@
+/*
+ *  Distributed under the Boost Software License, Version 1.0. (See accompanying
+ *  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+ */
+
+#include <catch2/catch_default_main.hpp>