From a3df930a602a7cb94d783edc835993106b73a7c1 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 14 May 2020 14:00:34 +0200
Subject: [PATCH] mc: please include.test

* spot/mc/bloemen.hh,
spot/mc/bloemen_ec.hh,
spot/mc/deadlock.hh,
spot/mc/lpar13.hh,
spot/mc/mc.hh: Here.
---
 spot/mc/bloemen.hh    | 2 ++
 spot/mc/bloemen_ec.hh | 2 ++
 spot/mc/deadlock.hh   | 3 +++
 spot/mc/lpar13.hh     | 3 +++
 spot/mc/mc.hh         | 4 ++++
 5 files changed, 14 insertions(+)

diff --git a/spot/mc/bloemen.hh b/spot/mc/bloemen.hh
index e2d0ddc31..5d3c8739f 100644
--- a/spot/mc/bloemen.hh
+++ b/spot/mc/bloemen.hh
@@ -30,6 +30,8 @@
 #include <spot/misc/common.hh>
 #include <spot/misc/fixpool.hh>
 #include <spot/misc/timer.hh>
+#include <spot/twacube/twacube.hh>
+#include <spot/twacube/fwd.hh>
 #include <spot/mc/mc.hh>
 
 namespace spot
diff --git a/spot/mc/bloemen_ec.hh b/spot/mc/bloemen_ec.hh
index 530323f9c..d9f644d8c 100644
--- a/spot/mc/bloemen_ec.hh
+++ b/spot/mc/bloemen_ec.hh
@@ -31,7 +31,9 @@
 #include <spot/misc/fixpool.hh>
 #include <spot/misc/timer.hh>
 #include <spot/twacube/twacube.hh>
+#include <spot/twacube/fwd.hh>
 #include <spot/mc/intersect.hh>
+#include <spot/mc/mc.hh>
 
 namespace spot
 {
diff --git a/spot/mc/deadlock.hh b/spot/mc/deadlock.hh
index bb2e2dab4..949dfd623 100644
--- a/spot/mc/deadlock.hh
+++ b/spot/mc/deadlock.hh
@@ -29,6 +29,9 @@
 #include <spot/kripke/kripke.hh>
 #include <spot/misc/fixpool.hh>
 #include <spot/misc/timer.hh>
+#include <spot/twacube/twacube.hh>
+#include <spot/twacube/fwd.hh>
+#include <spot/mc/mc.hh>
 
 namespace spot
 {
diff --git a/spot/mc/lpar13.hh b/spot/mc/lpar13.hh
index d2bc8bd83..aa2cc7d72 100644
--- a/spot/mc/lpar13.hh
+++ b/spot/mc/lpar13.hh
@@ -23,6 +23,9 @@
 #include <spot/mc/unionfind.hh>
 #include <spot/mc/intersect.hh>
 #include <spot/mc/mc.hh>
+#include <spot/misc/timer.hh>
+#include <spot/twacube/twacube.hh>
+#include <spot/twacube/fwd.hh>
 
 namespace spot
 {
diff --git a/spot/mc/mc.hh b/spot/mc/mc.hh
index f73233690..64b449143 100644
--- a/spot/mc/mc.hh
+++ b/spot/mc/mc.hh
@@ -19,10 +19,14 @@
 
 #pragma once
 
+#include <iostream>
+#include <stdexcept>
 #include <string>
 #include <vector>
 #include <utility>
 
+#include <spot/misc/common.hh>
+
 namespace spot
 {
   /// \brief The list of parallel model-checking algorithms available