diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
index 9496b8f8594..ff09a0aa9ec 100644
--- a/lib/Core/ExecutorUtil.cpp
+++ b/lib/Core/ExecutorUtil.cpp
@@ -160,14 +160,6 @@ ref<klee::Expr> Executor::evalConstant(const Constant *c,
       }
       assert(Context::get().isLittleEndian() && "FIXME:Broken for big endian");
       ref<Expr> res = ConcatExpr::createN(numOperands, kids.data());
-      if (!isa<ConstantExpr>(res) &&
-              !isa<ConstantPointerExpr>(res)) {
-        res->dump();
-        llvm::errs() << "\n";
-      }
-      assert((isa<ConstantExpr>(res) ||
-              isa<ConstantPointerExpr>(res)) &&"result of constant vector built is "
-                                         "not a constant");
       return res;
     } else if (const BlockAddress *ba = dyn_cast<BlockAddress>(c)) {
       // return the address of the specified basic block in the specified