summaryrefslogtreecommitdiff
path: root/compiler/driver/compiler_options.h
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/driver/compiler_options.h')
-rw-r--r--compiler/driver/compiler_options.h4
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/driver/compiler_options.h b/compiler/driver/compiler_options.h
index 1cc9f2d7e2..74d081d29e 100644
--- a/compiler/driver/compiler_options.h
+++ b/compiler/driver/compiler_options.h
@@ -114,10 +114,6 @@ class CompilerOptions final {
return compiler_filter_ == CompilerFilter::kAssumeVerified;
}
- bool VerifyAtRuntime() const {
- return compiler_filter_ == CompilerFilter::kExtract;
- }
-
bool IsAnyCompilationEnabled() const {
return CompilerFilter::IsAnyCompilationEnabled(compiler_filter_);
}