--- a/src/internet/model/ndisc-cache.cc	Sun May 22 21:57:24 2011 -0700
+++ b/src/internet/model/ndisc-cache.cc	Sun May 22 22:28:15 2011 -0700
@@ -113,7 +113,7 @@
 {
   NS_LOG_FUNCTION_NOARGS ();
 
-  for (CacheI i = m_ndCache.begin () ; i != m_ndCache.end () ; i++)
+  for (CacheI i = m_ndCache.begin (); i != m_ndCache.end (); i++)
     {
       if ((*i).second == entry)
         {
@@ -129,7 +129,7 @@
 {
   NS_LOG_FUNCTION_NOARGS ();
 
-  for (CacheI i = m_ndCache.begin () ; i != m_ndCache.end () ; i++)
+  for (CacheI i = m_ndCache.begin (); i != m_ndCache.end (); i++)
     {
       delete (*i).second; /* delete the pointer NdiscCache::Entry */
     }