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;
   }