* src/ltlvisit/reducform.cc (reduce_form_visitor::visit(constant)):

Simplify.

ChangeLog

 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.

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