From 31e87aac11fd1d0733c2ed644c8d36fa9b6d503f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 13 Jul 2021 11:31:53 +0200
Subject: [PATCH] mc: add missing <atomic> includes

* spot/mc/lpar13.hh, spot/mc/mc_instanciator.hh: Here.
---
 spot/mc/lpar13.hh          | 3 ++-
 spot/mc/mc_instanciator.hh | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/spot/mc/lpar13.hh b/spot/mc/lpar13.hh
index 272b1820b..28b71aa4b 100644
--- a/spot/mc/lpar13.hh
+++ b/spot/mc/lpar13.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015, 2016, 2018, 2019, 2020 Laboratoire de Recherche et
+// Copyright (C) 2015-2016, 2018-2021 Laboratoire de Recherche et
 // Developpement de l'Epita
 //
 // This file is part of Spot, a model checking library.
@@ -19,6 +19,7 @@
 
 #pragma once
 
+#include <atomic>
 #include <spot/twa/acc.hh>
 #include <spot/mc/unionfind.hh>
 #include <spot/mc/intersect.hh>
diff --git a/spot/mc/mc_instanciator.hh b/spot/mc/mc_instanciator.hh
index da1dacde8..39b9411d2 100644
--- a/spot/mc/mc_instanciator.hh
+++ b/spot/mc/mc_instanciator.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C)  2019, 2020 Laboratoire de Recherche et
+// Copyright (C)  2019-2021 Laboratoire de Recherche et
 // Developpement de l'Epita
 //
 // This file is part of Spot, a model checking library.
@@ -23,6 +23,7 @@
 #include <thread>
 #include <vector>
 #include <utility>
+#include <atomic>
 #include <spot/kripke/kripke.hh>
 #include <spot/mc/mc.hh>
 #include <spot/mc/lpar13.hh>