From 3b6bcd650432fe8de927d7a3344079b87ba4360f Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Fri, 4 Feb 2022 18:08:36 +0100
Subject: [PATCH] Intermediate Commit (2022-02-04 18:08)

---
 emper/ContextManager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/emper/ContextManager.cpp b/emper/ContextManager.cpp
index a319b052..c0cf46e7 100644
--- a/emper/ContextManager.cpp
+++ b/emper/ContextManager.cpp
@@ -9,6 +9,7 @@
 #include "Continuation.hpp"
 #include "Debug.hpp"
 #include "Dispatcher.hpp"
+#include "Emper.hpp"
 #include "Fibril.hpp"
 #include "Runtime.hpp"
 #include "emper-common.h"
-- 
GitLab