From eb4e3f8be9aa2912feb61917d138df15d99a856c Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 29 Nov 2018 16:14:12 +0000
Subject: [PATCH] modelcheck: fix erroneous report in deadlock

* tests/ltsmin/modelcheck.cc: Here.
---
 tests/ltsmin/modelcheck.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index a47e8638f..a96576a29 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -532,7 +532,7 @@ static int checked_main()
       try
         {
            modelcube = spot::ltsmin_model::load(mc_options.model)
-             .kripkecube({}, deadf, mc_options.compress,
+             .kripkecube({}, spot::formula::ff(), mc_options.compress,
                          mc_options.nb_threads);
         }
       catch (const std::runtime_error& e)