Commit 7bc52761 authored by Etienne Renault's avatar Etienne Renault
Browse files

mc: do not mix static and SPOT_API

* spot/mc/mc_instanciator.hh: Here.
parent e653cefd
...@@ -79,9 +79,9 @@ namespace spot ...@@ -79,9 +79,9 @@ namespace spot
template<typename algo_name, typename kripke_ptr, typename State, template<typename algo_name, typename kripke_ptr, typename State,
typename Iterator, typename Hash, typename Equal> typename Iterator, typename Hash, typename Equal>
static SPOT_API ec_stats instanciate(kripke_ptr sys, static ec_stats instanciate(kripke_ptr sys,
spot::twacube_ptr prop = nullptr, spot::twacube_ptr prop = nullptr,
bool trace = false) bool trace = false)
{ {
// FIXME ensure that algo_name contains all methods // FIXME ensure that algo_name contains all methods
...@@ -246,5 +246,6 @@ namespace spot ...@@ -246,5 +246,6 @@ namespace spot
return instanciate<spot::lpar13<State, Iterator, Hash, Equal>, return instanciate<spot::lpar13<State, Iterator, Hash, Equal>,
kripke_ptr, State, Iterator, Hash, Equal> (sys, prop, trace); kripke_ptr, State, Iterator, Hash, Equal> (sys, prop, trace);
} }
SPOT_UNREACHABLE();
} }
} }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment