diff --git a/bazel/cc_toolchains/clang_cc_toolchain_config.bzl b/bazel/cc_toolchains/clang_cc_toolchain_config.bzl
index 18697d1ee005..3fe9298b0e62 100644
--- a/bazel/cc_toolchains/clang_cc_toolchain_config.bzl
+++ b/bazel/cc_toolchains/clang_cc_toolchain_config.bzl
@@ -123,6 +123,7 @@ def _impl(ctx):
                             "-Wself-assign",
                             "-Wimplicit-fallthrough",
                             "-Wctad-maybe-unsupported",
+                            "-Wnon-virtual-dtor",
                             # Unfortunately, LLVM isn't clean for this warning.
                             "-Wno-unused-parameter",
                             # Compile actions shouldn't link anything.
diff --git a/explorer/interpreter/value.h b/explorer/interpreter/value.h
index 5ac8331d5aee..2f626589e38d 100644
--- a/explorer/interpreter/value.h
+++ b/explorer/interpreter/value.h
@@ -126,7 +126,7 @@ class EqualityContext {
       -> bool = 0;
 
  protected:
-  ~EqualityContext() = default;
+  virtual ~EqualityContext() = default;
 };
 
 auto TypeEqual(Nonnull<const Value*> t1, Nonnull<const Value*> t2,