From 35c8beaa3ceff3fd4bd42dcdab163e1ba588b933 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 3 Feb 2016 08:46:50 +0100
Subject: [PATCH] dot, hoa: enable "k" also for fair_kripke

* spot/twaalgos/dot.cc, spot/twaalgos/hoa.cc: Here.
---
 spot/twaalgos/dot.cc | 4 ++--
 spot/twaalgos/hoa.cc | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/spot/twaalgos/dot.cc b/spot/twaalgos/dot.cc
index 44d30f2eb..24bba8cce 100644
--- a/spot/twaalgos/dot.cc
+++ b/spot/twaalgos/dot.cc
@@ -31,7 +31,7 @@
 #include <spot/twa/formula2bdd.hh>
 #include <spot/twaalgos/copy.hh>
 #include <spot/twaalgos/sccinfo.hh>
-#include <spot/kripke/kripke.hh>
+#include <spot/kripke/fairkripke.hh>
 #include <cstdlib>
 #include <cstring>
 #include <algorithm>
@@ -665,7 +665,7 @@ namespace spot
   {
     dotty_output d(os, options);
     // Enable automatic state labels for Kripke structure.
-    if (std::dynamic_pointer_cast<const kripke>(g))
+    if (std::dynamic_pointer_cast<const fair_kripke>(g))
       d.parse_opts("k");
     auto aut = std::dynamic_pointer_cast<const twa_graph>(g);
     if (!aut || (d.max_states_given() && aut->num_states() >= d.max_states()))
diff --git a/spot/twaalgos/hoa.cc b/spot/twaalgos/hoa.cc
index ac5eafe99..f077f9500 100644
--- a/spot/twaalgos/hoa.cc
+++ b/spot/twaalgos/hoa.cc
@@ -33,7 +33,7 @@
 #include <spot/misc/minato.hh>
 #include <spot/twa/formula2bdd.hh>
 #include <spot/tl/formula.hh>
-#include <spot/kripke/kripke.hh>
+#include <spot/kripke/fairkripke.hh>
 
 namespace spot
 {
@@ -586,7 +586,7 @@ namespace spot
 
     // for Kripke structures, automatically append "k" to the options.
     char* tmpopt = nullptr;
-    if (std::dynamic_pointer_cast<const kripke>(aut))
+    if (std::dynamic_pointer_cast<const fair_kripke>(aut))
       {
 	unsigned n = opt ? strlen(opt) : 0;
 	tmpopt = new char[n + 2];