From c0b59d07950fe19edf038fe9487ccc89914a4dc1 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 26 May 2004 16:54:02 +0000
Subject: [PATCH] * src/ltlvisit/reducform.cc
 (reduce_form_visitor::visit(constant)): Simplify.

---
 ChangeLog                 |  3 +++
 src/ltlvisit/basereduc.cc | 10 +---------
 2 files changed, 4 insertions(+), 9 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 53164cc31..724d1cac2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-05-26  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltlvisit/reducform.cc (reduce_form_visitor::visit(constant)):
+	Simplify.
+
 	* src/ltlvisit/basereduc.cc, src/ltlvisit/reducform.cc: Use
 	dynamic_cast instead of node_type_form_visitor, this is usually
 	smaller.
diff --git a/src/ltlvisit/basereduc.cc b/src/ltlvisit/basereduc.cc
index 93d46760a..b488c580d 100644
--- a/src/ltlvisit/basereduc.cc
+++ b/src/ltlvisit/basereduc.cc
@@ -53,15 +53,7 @@ namespace spot
       void
       visit(constant* c)
       {
-	switch (c->val())
-	  {
-	  case constant::True:
-	    result_ = constant::true_instance();
-	    return;
-	  case constant::False:
-	    result_ = constant::false_instance();
-	    return;
-	  }
+	result_ = c;
       }
 
       void