Move declaration of vc_DeleteExpr outside of function.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73173 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 2 insertions, 4 deletions

diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index d1638bb8..7b680567 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -11,8 +11,6 @@
 
 
 #include "klee/Machine.h"
-// FIXME: This shouldn't be here.
-//#include "klee/Memory.h"
 #include "llvm/Type.h"
 #include "llvm/DerivedTypes.h"
 #include "llvm/Support/CommandLine.h"
@@ -355,9 +353,9 @@ ref<Expr>  NotOptimizedExpr::create(ref<Expr> src) {
 
 /***/
 
-Array::~Array() {
-  extern "C" void ::vc_DeleteExpr(void*);
+extern "C" void vc_DeleteExpr(void*);
 
+Array::~Array() {
   // FIXME: This shouldn't be necessary.
   if (stpInitialArray) {
     ::vc_DeleteExpr(stpInitialArray);