about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2014-09-13 21:45:11 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2014-09-13 21:45:45 +0100
commit0fa5f86d5e239a1a6b8f059e40178dada67ec45c (patch)
treef0a4d948572fcd28e64393ea15345ff91959d0ff /lib/Core
parent2ce22af434e383cf0c2c65e4da829de630b6cd9d (diff)
downloadklee-0fa5f86d5e239a1a6b8f059e40178dada67ec45c.tar.gz
Small edits to test the Travis CI trigger.
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/Executor.cpp3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 2f57ad95..152b8c44 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -8,9 +8,7 @@
 //===----------------------------------------------------------------------===//
 
 #include "Common.h"
-
 #include "Executor.h"
- 
 #include "Context.h"
 #include "CoreStats.h"
 #include "ExternalDispatcher.h"
@@ -25,6 +23,7 @@
 #include "TimingSolver.h"
 #include "UserSearcher.h"
 #include "ExecutorTimerInfo.h"
+
 #include "../Solver/SolverStats.h"
 
 #include "klee/ExecutionState.h"