--- a/src/core/object-vector.cc	Wed Mar 12 10:18:14 2008 -0700
+++ b/src/core/object-vector.cc	Wed Mar 12 11:35:00 2008 -0700
@@ -101,10 +101,7 @@
     }
   return true;
 }
-Ptr<const AttributeChecker> 
-MakeObjectVectorChecker (void)
-{
-  return MakeSimpleAttributeChecker<ObjectVectorValue,ObjectVectorChecker> ();
-}
+
+ATTRIBUTE_CHECKER_IMPLEMENT (ObjectVector);
 
 } // name