From dc28a1efacec296976a9fc9ac6fee3281eb58fd0 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Mon, 13 Mar 2023 13:44:27 -0500
Subject: [PATCH] fix merge mistake

---
 slither/core/declarations/contract.py | 1 +
 tests/test_features.py                | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/slither/core/declarations/contract.py b/slither/core/declarations/contract.py
index 51363b9fc..b6a0b3d24 100644
--- a/slither/core/declarations/contract.py
+++ b/slither/core/declarations/contract.py
@@ -193,6 +193,7 @@ class Contract(SourceMapping):  # pylint: disable=too-many-public-methods
     def comments(self, comments: str):
         self._comments = comments
 
+    @property
     def is_fully_implemented(self) -> bool:
         return self._is_fully_implemented
 
diff --git a/tests/test_features.py b/tests/test_features.py
index d93a4ca2f..20393df38 100644
--- a/tests/test_features.py
+++ b/tests/test_features.py
@@ -210,7 +210,7 @@ def test_abstract_contract() -> None:
     assert not slither.contracts[0].is_fully_implemented
 
     solc_select.switch_global_version("0.5.0", always_install=True)
-    slither = Slither("./tests/function_features/abstract.sol")
+    slither = Slither("./tests/function_features/implicit_abstract.sol")
     assert not slither.contracts[0].is_fully_implemented
 
     slither = Slither(