diff --git a/Source/cmLocalGenerator.h b/Source/cmLocalGenerator.h index eb06265d9f..b906b62535 100644 --- a/Source/cmLocalGenerator.h +++ b/Source/cmLocalGenerator.h @@ -33,7 +33,7 @@ class cmLocalGenerator { public: cmLocalGenerator(); - ~cmLocalGenerator(); + virtual ~cmLocalGenerator(); /** * Generate the makefile for this directory. fromTheTop indicates if this