Commit e653cefd authored by Etienne Renault's avatar Etienne Renault
Browse files

kripke: add missing SPOT_API

* spot/kripke/kripke.hh: Here.
parent f6f8b8fb
Pipeline #18984 failed with stage
in 77 minutes and 46 seconds
...@@ -68,7 +68,7 @@ namespace spot ...@@ -68,7 +68,7 @@ namespace spot
/// a given parameter is of type kripkecube. It also check /// a given parameter is of type kripkecube. It also check
/// if the iterator has the good interface. /// if the iterator has the good interface.
template <typename T, typename State, typename SuccIter> template <typename T, typename State, typename SuccIter>
class is_a_kripkecube_ptr class SPOT_API is_a_kripkecube_ptr
{ {
private: private:
using yes = std::true_type; using yes = std::true_type;
......
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