From c46c711eb76ea448753763dbdf6c89d732e90793 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 10 Aug 2021 12:53:44 +0200
Subject: [PATCH] cpphoafparser: added missing include.

---
 .../include/cpphoafparser/parser/hoa_parser_exception.hh         | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/3rdparty/cpphoafparser-0.99.2/include/cpphoafparser/parser/hoa_parser_exception.hh b/resources/3rdparty/cpphoafparser-0.99.2/include/cpphoafparser/parser/hoa_parser_exception.hh
index 46834d644..c68b05a44 100644
--- a/resources/3rdparty/cpphoafparser-0.99.2/include/cpphoafparser/parser/hoa_parser_exception.hh
+++ b/resources/3rdparty/cpphoafparser-0.99.2/include/cpphoafparser/parser/hoa_parser_exception.hh
@@ -30,6 +30,7 @@
 #define CPPHOAFPARSER_HOAPARSEREXCEPTION_H
 
 #include <stdexcept>
+#include <cassert>
 
 namespace cpphoafparser {