From c94d877c9830099a9939789106e5797fab738484 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Tue, 9 Jun 2020 09:15:07 +0200
Subject: [PATCH] modelcheck: adjust default value for 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 579f65dd2..6e17e8ba2 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -248,7 +248,7 @@ static int checked_main()
   spot::emptiness_check_instantiator_ptr echeck_inst = nullptr;
   int exit_code = 0;
   spot::postprocessor post;
-  spot::formula deadf = spot::formula::tt();
+  spot::formula deadf = spot::formula::ff();
   spot::formula f = nullptr;
   spot::timer_map tm;