Commit 271f1f86 authored by Etienne Renault's avatar Etienne Renault

kripke: add missing SPOT_API

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