--- a/src/simulator/high-precision.h	Fri Aug 13 09:32:29 2010 +0200
+++ b/src/simulator/high-precision.h	Fri Aug 13 10:10:10 2010 +0200
@@ -61,6 +61,6 @@
     }
 }
 
-}; /* namespace ns3 */
+} /* namespace ns3 */
 
 #endif /* HIGH_PRECISION_H */