From 7071d86f38ec428c31251a5e8dc035b6e2157de1 Mon Sep 17 00:00:00 2001
From: Andrea Mattavelli <andreamattavelli@gmail.com>
Date: Wed, 11 Oct 2017 08:21:24 +0100
Subject: Removed unnecessary and redundant variable

---
 lib/Core/Executor.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'lib/Core/Executor.cpp')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 673476f6..6b352eba 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -3520,8 +3520,6 @@ unsigned Executor::getSymbolicPathStreamID(const ExecutionState &state) {
 void Executor::getConstraintLog(const ExecutionState &state, std::string &res,
                                 Interpreter::LogType logFormat) {
 
-  std::ostringstream info;
-
   switch (logFormat) {
   case STP: {
     Query query(state.constraints, ConstantExpr::alloc(0, Expr::Bool));
-- 
cgit 1.4.1