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