#
# old_revision [2bf8ad2c501213efb4cf9b219330b87666988e91]
#
# patch "src/alloc/secmem.h"
#  from [ea3aff086ed1a1f49ee8a0e877ba755dc575e6b4]
#    to [746a95d28216664a4e6c945ba32663cea6023ae5]
#
============================================================
--- src/alloc/secmem.h	ea3aff086ed1a1f49ee8a0e877ba755dc575e6b4
+++ src/alloc/secmem.h	746a95d28216664a4e6c945ba32663cea6023ae5
@@ -164,7 +164,7 @@ class MemoryRegion
       */
       void swap(MemoryRegion<T>& other);
 
-      virtual ~MemoryRegion() { deallocate(buf, allocated); }
+      ~MemoryRegion() { deallocate(buf, allocated); }
    protected:
       MemoryRegion() : buf(0), used(0), allocated(0), alloc(0) {}