Mod: Use override etc 2

This commit is contained in:
berniev
2022-08-09 11:53:46 +10:00
committed by wwmayer
parent 75fa455c5d
commit 71dc5ead2f
697 changed files with 4956 additions and 4956 deletions

View File

@@ -58,10 +58,10 @@ public:
: Gui::SelectionFilterGate()
{
}
~FaceSelectionGate()
~FaceSelectionGate() override
{
}
bool allow(App::Document*, App::DocumentObject*, const char*sSubName)
bool allow(App::Document*, App::DocumentObject*, const char*sSubName) override
{
if (!sSubName || sSubName[0] == '\0')
return false;