diff --git a/Plugin/PluginManager.h b/Plugin/PluginManager.h
index 8a56b845fcdf9189fb1db917163dc52889a2c4fa..d8554f6c5e88fb9b9c5d0f7cf183c67a34464387 100644
--- a/Plugin/PluginManager.h
+++ b/Plugin/PluginManager.h
@@ -33,7 +33,7 @@ class PluginManager
   void addPlugin(std::string fileName);
 
   // Uninstall a given plugin
-  void uninstallPlugin(std::string pluginName);
+  void uninstallPlugin(std::string pluginName){};
 
   // Set an option to a value in plugin named pluginName
   void setPluginOption(std::string pluginName, std::string option,