--- a/src/simulator/nstime.h	Sun Feb 17 04:38:52 2008 +0100
+++ b/src/simulator/nstime.h	Mon Feb 18 00:18:45 2008 +0100
@@ -678,6 +678,9 @@
 template <typename T1, typename T2>
 Ptr<ParamSpec> MakeTimeParamSpec (T1 a1, T2 a2);
 
+Ptr<AttributeChecker> MakeTimeChecker (void);
+
+
 
 } // namespace ns3
 
@@ -696,6 +699,7 @@
 }
 
 
+
 } // namespace ns3
 
 #endif /* TIME_H */