about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2024-02-16 22:57:56 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2024-02-17 10:06:59 +0000
commitdf8a73840ae2fa3461ff724913884fd47a0765ac (patch)
tree195a1148df486830e2b1f8f72074001a949210c6 /lib
parent325c6cdcab632a6824be8ca9a926f4c4573adbdb (diff)
downloadklee-df8a73840ae2fa3461ff724913884fd47a0765ac.tar.gz
Fixed incorrect reference in ExternalCallWarnings
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Executor.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index d70a2c4e..45209617 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -225,7 +225,7 @@ cl::opt<ExtCallWarnings> ExternalCallWarnings(
             "Never warn"),
         clEnumValN(ExtCallWarnings::OncePerFunction, "once-per-function",
                    "Warn once per external function (default)"),
-        clEnumValN(ExternalCallPolicy::All, "all",
+        clEnumValN(ExtCallWarnings::All, "all",
                    "Always warn")),
     cl::init(ExtCallWarnings::OncePerFunction),
     cl::cat(ExtCallsCat));