From 423136a6e0033871f6ef2c854c1d541f6abcbaaf Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 21 Jan 2017 18:23:31 +0100
Subject: [PATCH] ltsmin: register dead only if it is an atomic proposition

* spot/ltsmin/ltsmin.cc: Here.  This fixes 5a441e1b.
---
 spot/ltsmin/ltsmin.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spot/ltsmin/ltsmin.cc b/spot/ltsmin/ltsmin.cc
index fa245687c..3826a8714 100644
--- a/spot/ltsmin/ltsmin.cc
+++ b/spot/ltsmin/ltsmin.cc
@@ -1118,7 +1118,8 @@ namespace spot
     // twa::ap() works.
     for (auto ap: *to_observe)
       res->register_ap(ap);
-    res->register_ap(dead);
+    if (dead.is(op::ap))
+      res->register_ap(dead);
     return res;
   }