From 3200fe7b15a89619ee0cf9a31841ef9737c38950 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
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<CoreSolverType> CoreSolverToUse(
     llvm::cl::init(DEFAULT_CORE_SOLVER));
 
 llvm::cl::opt<CoreSolverType> 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