From 8cafa200a55326de6e5f71e1f13ae6a687ee36d9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 13 Feb 2011 22:21:31 +0100
Subject: [PATCH] Equal and Goto should only apply to Boolean expressions.

* src/ltlast/bunop.cc (bunop::bunop): Ensure it using an assert.
---
 src/ltlast/bunop.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/ltlast/bunop.cc b/src/ltlast/bunop.cc
index 3f3d46de1..3fa4bfab4 100644
--- a/src/ltlast/bunop.cc
+++ b/src/ltlast/bunop.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement
+// Copyright (C) 2009, 2010, 2011 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -50,6 +50,8 @@ namespace spot
 	case Equal:
 	case Goto:
 	  is.accepting_eword = (min_ == 0);
+	  // Equal and Goto can only apply to Boolean formulae.
+	  assert(child->is_boolean());
 	  break;
 	}
     }