From f135e8746bed7e53e72503b2516ffb718f354865 Mon Sep 17 00:00:00 2001
From: superp00t <superp00t@tutanota.com>
Date: Sat, 17 Feb 2024 21:38:58 -0500
Subject: [PATCH] fix(util): add missing STORM_ASSERT include

---
 src/util/SFile.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/SFile.cpp b/src/util/SFile.cpp
index 3074f47..51283fe 100644
--- a/src/util/SFile.cpp
+++ b/src/util/SFile.cpp
@@ -2,6 +2,7 @@
 #include <cstring>
 #include <limits>
 #include <StormLib.h>
+#include <storm/Error.hpp>
 #include <storm/Memory.hpp>
 #include <storm/String.hpp>
 #include <bc/file/File.hpp>