From eb7dd04e797ccaa22c12a9506a4bedea3d76e0ef Mon Sep 17 00:00:00 2001
From: Sebastien Vincent <vincent@clarinet.u-strasbg.fr>
Date: Mon, 2 Nov 2009 18:08:16 +0100
Subject: [PATCH] Update.

---
 src/internet-stack/ipv6-extension-demux.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/internet-stack/ipv6-extension-demux.h b/src/internet-stack/ipv6-extension-demux.h
index aa0ccdfb2..463fcb1e7 100644
--- a/src/internet-stack/ipv6-extension-demux.h
+++ b/src/internet-stack/ipv6-extension-demux.h
@@ -33,7 +33,7 @@ class Node;
 
 /**
  * \class Ipv6ExtensionDemux
- * \brief IPv6 Extension Demux.
+ * \brief Demultiplexes IPv6 extensions.
  */
 class Ipv6ExtensionDemux : public Object
 {
@@ -80,7 +80,7 @@ class Ipv6ExtensionDemux : public Object
     void Remove (Ptr<Ipv6Extension> extension);
 
   protected:   
-    virtual void DoDispose();
+    virtual void DoDispose ();
 
   private:
     typedef std::list<Ptr<Ipv6Extension> > Ipv6ExtensionList_t;