db/simple/Directory: add pure attribute

2020-10-28 14:24:57 +01:00
parent ee802867df
commit b5673b6333
1 changed files with 1 additions and 0 deletions
--- a/src/db/plugins/simple/Directory.hxx
+++ b/src/db/plugins/simple/Directory.hxx
@@ -137,6 +137,7 @@ public:
 	 * (e.g. #DEVICE_PLAYLIST) and whether the underlying plugin
 	 * is available.
 	 */
+	gcc_pure
 	bool IsPluginAvailable() const noexcept;

 	/**