diff --git a/ChangeLog b/ChangeLog
index 4317f65eb..b6b0a9510 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2003-07-08  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/ltlvisit/dump.cc: Strip useless spot::ltl:: prefixes.
+
 2003-07-07  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	First sketch of the GSPN wrapper objects.
diff --git a/src/ltlvisit/dump.cc b/src/ltlvisit/dump.cc
index c418a8983..4a1aca511 100644
--- a/src/ltlvisit/dump.cc
+++ b/src/ltlvisit/dump.cc
@@ -8,7 +8,7 @@ namespace spot
   namespace ltl
   {
 
-    class dump_visitor : public spot::ltl::const_visitor
+    class dump_visitor : public const_visitor
     {
     public:
       dump_visitor(std::ostream& os = std::cout)
@@ -22,19 +22,19 @@ namespace spot
       }
 
       void
-      visit(const spot::ltl::atomic_prop* ap)
+      visit(const atomic_prop* ap)
       {
 	os_ << "AP(" << ap->name() << ")";
       }
 
       void
-      visit(const spot::ltl::constant* c)
+      visit(const constant* c)
       {
 	os_ << "constant(" << c->val_name() << ")";
       }
 
       void
-      visit(const spot::ltl::binop* bo)
+      visit(const binop* bo)
       {
 	os_ << "binop(" << bo->op_name() << ", ";
 	bo->first()->accept(*this);
@@ -44,7 +44,7 @@ namespace spot
       }
 
       void
-      visit(const spot::ltl::unop* uo)
+      visit(const unop* uo)
       {
 	os_ << "unop(" << uo->op_name() << ", ";
 	uo->child()->accept(*this);
@@ -52,7 +52,7 @@ namespace spot
       }
 
       void
-      visit(const spot::ltl::multop* mo)
+      visit(const multop* mo)
       {
 	os_ << "multop(" << mo->op_name() << ", ";
 	unsigned max = mo->size();