From 1dc6ead1e034f7239d116038c54c4effee1853fe Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Tue, 19 May 2020 07:58:48 +0200
Subject: [PATCH] mc: do not mix static and SPOT_API

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

diff --git a/spot/mc/mc_instanciator.hh b/spot/mc/mc_instanciator.hh
index 7d63c7442..689d0733d 100644
--- a/spot/mc/mc_instanciator.hh
+++ b/spot/mc/mc_instanciator.hh
@@ -79,9 +79,9 @@ namespace spot
 
   template<typename algo_name, typename kripke_ptr, typename State,
            typename Iterator, typename Hash, typename Equal>
-  static SPOT_API ec_stats instanciate(kripke_ptr sys,
-                                       spot::twacube_ptr prop = nullptr,
-                                       bool trace = false)
+  static ec_stats instanciate(kripke_ptr sys,
+                              spot::twacube_ptr prop = nullptr,
+                              bool trace = false)
   {
     // FIXME ensure that algo_name contains all methods
 
@@ -246,5 +246,6 @@ namespace spot
         return instanciate<spot::lpar13<State, Iterator, Hash, Equal>,
             kripke_ptr, State, Iterator, Hash, Equal> (sys, prop, trace);
       }
+    SPOT_UNREACHABLE();
   }
 }