diff options
Diffstat (limited to 'src/mg_ore.h')
| -rw-r--r-- | src/mg_ore.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mg_ore.h b/src/mg_ore.h index b6cf176e7..e4af435f7 100644 --- a/src/mg_ore.h +++ b/src/mg_ore.h @@ -115,7 +115,7 @@ public: class OreManager : public ObjDefManager { public: OreManager(IGameDef *gamedef); - ~OreManager() {} + virtual ~OreManager() {} const char *getObjectTitle() const { |