From d13e0cbbaad29c23fc8e3bb17f3f5154990cbd6f Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 11 Mar 2019 16:28:51 +0000 Subject: Hide the general category (with LLVM options) in Kleaver. --- tools/kleaver/main.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tools') diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index 55f7862b..f5b5e13a 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -394,6 +394,9 @@ static bool printInputAsSMTLIBv2(const char *Filename, } int main(int argc, char **argv) { + + KCommandLine::HideOptions(llvm::cl::GeneralCategory); + bool success = true; #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) -- cgit 1.4.1