From 227627c739f54332f244cdbf68cb540aa9b7f31f Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 14 May 2020 16:41:13 +0200
Subject: [PATCH] mc: correct SPOT_API

* spot/mc/mc.hh: Here.
---
 spot/mc/mc.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot/mc/mc.hh b/spot/mc/mc.hh
index aaf196bcd..a9ab6fc20 100644
--- a/spot/mc/mc.hh
+++ b/spot/mc/mc.hh
@@ -30,7 +30,7 @@
 namespace spot
 {
   /// \brief The list of parallel model-checking algorithms available
-  enum SPOT_API class mc_algorithm
+  enum class SPOT_API mc_algorithm
     {
      BLOEMEN_EC,    ///< \brief Bloemen.16.hvc emptiness check
      BLOEMEN_SCC,   ///< \brief Bloemen.16.ppopp SCC computation
@@ -40,7 +40,7 @@ namespace spot
      SWARMING,      ///< \brief Holzmann.11.ieee applied to renault.13.lpar
     };
 
-  enum SPOT_API class mc_rvalue
+  enum class SPOT_API mc_rvalue
     {
      DEADLOCK,                  ///< \brief A deadlock has been found
      EMPTY,                     ///< \brief The product is empty