From 3200fe7b15a89619ee0cf9a31841ef9737c38950 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 15 Sep 2016 13:07:10 +0100 Subject: Rename `-debug-cross-check-core-solver` option to `-debug-crosscheck-core-solver` as requested by Cristian --- lib/Basic/CmdLineOptions.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Basic') diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp index 70ef999e..399c27a2 100644 --- a/lib/Basic/CmdLineOptions.cpp +++ b/lib/Basic/CmdLineOptions.cpp @@ -141,7 +141,7 @@ llvm::cl::opt CoreSolverToUse( llvm::cl::init(DEFAULT_CORE_SOLVER)); llvm::cl::opt DebugCrossCheckCoreSolverWith( - "debug-cross-check-core-solver", + "debug-crosscheck-core-solver", llvm::cl::desc( "Specifiy a solver to use for cross checking with the core solver"), llvm::cl::values(clEnumValN(STP_SOLVER, "stp", "stp"), -- cgit 1.4.1