From acda01e25fe4ff6ef199a297453474e8cfdbe9d9 Mon Sep 17 00:00:00 2001 From: Marcel Walter Date: Thu, 20 May 2021 22:14:05 +0200 Subject: [PATCH] Include header in events.hpp (#472) --- include/mockturtle/networks/events.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/include/mockturtle/networks/events.hpp b/include/mockturtle/networks/events.hpp index e4910be99..ada70a7a9 100644 --- a/include/mockturtle/networks/events.hpp +++ b/include/mockturtle/networks/events.hpp @@ -39,6 +39,7 @@ #include "../traits.hpp" #include +#include namespace mockturtle {