diff --git a/src/cas/example/directoryService/directoryServer.cc b/src/cas/example/directoryService/directoryServer.cc
index e1ba29e5a..8d261f763 100644
--- a/src/cas/example/directoryService/directoryServer.cc
+++ b/src/cas/example/directoryService/directoryServer.cc
@@ -70,6 +70,14 @@ directoryServer::directoryServer(const char * const pvPrefix, unsigned pvCount,
 	}
 }
 
+
+//
+// directoryServer::~directoryServer()
+//
+directoryServer::~directoryServer()
+{
+}
+
 //
 // directoryServer::installAliasName()
 //
diff --git a/src/cas/example/directoryService/directoryServer.h b/src/cas/example/directoryService/directoryServer.h
index 29e839fd6..49a12e54d 100644
--- a/src/cas/example/directoryService/directoryServer.h
+++ b/src/cas/example/directoryService/directoryServer.h
@@ -93,6 +93,7 @@ private:
 class directoryServer : public caServer {
 public:
 	directoryServer (const char * const pvPrefix, unsigned pvCount, unsigned aliasCount);
+	~directoryServer();
         void show (unsigned level) const;
         pvExistReturn pvExistTest (const casCtx&, const char *pPVName);