diff --git a/src/frontends/Application.h b/src/frontends/Application.h
index 3b2fefe0bc..a11be8f17e 100644
--- a/src/frontends/Application.h
+++ b/src/frontends/Application.h
@@ -41,7 +41,10 @@ comon to all frontends.
 class Application
 {
 public:
+	///
 	Application(int & argc, char ** argv);
+	///
+	virtual ~Application() {}
 
 	int start(std::string const & batch);
 	///