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.

---
 unittests/Solver/SolverTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'unittests/Solver/SolverTest.cpp')

diff --git a/unittests/Solver/SolverTest.cpp b/unittests/Solver/SolverTest.cpp
index 38e055cd..b178ced3 100644
--- a/unittests/Solver/SolverTest.cpp
+++ b/unittests/Solver/SolverTest.cpp
@@ -10,7 +10,7 @@
 #include <iostream>
 #include "gtest/gtest.h"
 
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Constraints.h"
 #include "klee/Expr.h"
 #include "klee/Solver.h"
-- 
cgit 1.4.1