From 502e95d5b4cf5dac0d02c49793154c0ec165e66b Mon Sep 17 00:00:00 2001
From: Michael Gregorius <michael.gregorius.git@arcor.de>
Date: Thu, 8 Jun 2023 11:09:38 +0200
Subject: [PATCH] Try to fix GitHub builds

The GitHub builds seem to need the explicit include which for some
reason is not needed on my developer machine.
---
 src/core/DataFile.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/DataFile.cpp b/src/core/DataFile.cpp
index e8d4c9941..b3884c9e0 100644
--- a/src/core/DataFile.cpp
+++ b/src/core/DataFile.cpp
@@ -29,6 +29,7 @@
 #include <cmath>
 #include <map>
 #include <set>
+#include <cassert>
 
 #include <QDebug>
 #include <QFile>