diff --git a/doc b/doc
index 47138ec29f..e71c2a6563 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 47138ec29f404825122d749d4ebb5dd5b32338db
+Subproject commit e71c2a656358aa88d053d424d7c726ad5b2ce88a
diff --git a/src/Attr.cc b/src/Attr.cc
index e512f0bfe4..74a6b2535b 100644
--- a/src/Attr.cc
+++ b/src/Attr.cc
@@ -164,10 +164,8 @@ void Attributes::AddAttr(Attr* attr)
 	if ( ! attrs )
 		attrs = new attr_list(1);
 
-	if ( ! attr->RedundantAttrOkay() )
-		// We overwrite old attributes by deleting them first.
-		RemoveAttr(attr->Tag());
-
+	// We overwrite old attributes by deleting them first.
+	RemoveAttr(attr->Tag());
 	attrs->push_back(attr);
 	Ref(attr);
 
diff --git a/src/Attr.h b/src/Attr.h
index fc33445618..53d60eda27 100644
--- a/src/Attr.h
+++ b/src/Attr.h
@@ -46,9 +46,6 @@ public:
 	// previous expr as the new expr depends on it.
 	void SetAttrExpr(Expr* e) { expr = e; }
 
-	int RedundantAttrOkay() const
-		{ return tag == ATTR_REDEF || tag == ATTR_OPTIONAL; }
-
 	void Describe(ODesc* d) const override;
 	void DescribeReST(ODesc* d, bool shorten = false) const;