From 1b3290215a9b6f0c2017f0af5824413e77ce6d7b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 3 Oct 2018 23:10:19 +0100
Subject: Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file
 is meant to have only solver options.

---
 lib/Basic/CmdLineOptions.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Basic/CmdLineOptions.cpp')

diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index 3c117db9..b4517d47 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -12,7 +12,7 @@
  * data that are common to both KLEE and Kleaver.
  */
 
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Config/Version.h"
 
 #include "llvm/ADT/ArrayRef.h"
-- 
cgit 1.4.1