doc/manual/objects.texi
changeset 6681 df822f566004
parent 5990 20ee319e7e71
--- a/doc/manual/objects.texi	Fri Dec 10 13:47:30 2010 +0100
+++ b/doc/manual/objects.texi	Fri Dec 10 15:22:36 2010 +0100
@@ -6,7 +6,6 @@
 @chapter Object model
 
 @menu
-* Object model::
 * Object-oriented behavior::
 * Object base classes::
 * Memory management and class Ptr::