From 6d390a342d6da656240028aa76d2d71c0b29b545 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Fri, 15 May 2020 14:45:47 +0200
Subject: [PATCH] kripke: add missing SPOT_API

* spot/kripke/kripke.hh: Here.
---
 spot/kripke/kripke.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/kripke/kripke.hh b/spot/kripke/kripke.hh
index 8edd0b7b0..8b039f37c 100644
--- a/spot/kripke/kripke.hh
+++ b/spot/kripke/kripke.hh
@@ -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;