From d1fd6782bc3796ae16a7f58f4698d9d597ca9b1e Mon Sep 17 00:00:00 2001
From: hrkrshnn <webmail.hari@gmail.com>
Date: Thu, 30 Apr 2020 19:41:31 +0530
Subject: [PATCH] Note on abstract contract about overriding implemented
 functions

---
 docs/contracts/abstract-contracts.rst | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/contracts/abstract-contracts.rst b/docs/contracts/abstract-contracts.rst
index 7b9f83256..4571f45b2 100644
--- a/docs/contracts/abstract-contracts.rst
+++ b/docs/contracts/abstract-contracts.rst
@@ -52,3 +52,8 @@ facilitating patterns like the `Template method <https://en.wikipedia.org/wiki/T
 Abstract contracts are useful in the same way that defining methods
 in an interface is useful. It is a way for the designer of the
 abstract contract to say "any child of mine must implement this method".
+
+.. note::
+
+  Abstract contracts cannot override an implemented virtual function with an
+  unimplemented one.