From 2fe8f025e3b252148490cdfe2e491f31d27ea57f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 14 Oct 2012 19:08:03 +0200
Subject: [PATCH] ltlcheck: add a "Sanity check..." message

* src/bin/ltlcheck.cc: Here.
---
 src/bin/ltlcheck.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/bin/ltlcheck.cc b/src/bin/ltlcheck.cc
index c4396dd3d..3cbabeaa0 100644
--- a/src/bin/ltlcheck.cc
+++ b/src/bin/ltlcheck.cc
@@ -753,6 +753,8 @@ namespace
       runner.round_cleanup();
       ++round;
 
+      std::cerr << "Sanity checks..." << std::endl;
+
       spot::ltl::atomic_prop_set* ap = spot::ltl::atomic_prop_collect(f);
 
       // intersection test