From 793fbf410c1929430844b3afdbc160492c6ff9e6 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 14 Jun 2009 19:52:43 +0000
Subject: Use ExprBuilder for constructing expressions in the Parser.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73345 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Expr/ExprBuilder.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/Expr/ExprBuilder.cpp')

diff --git a/lib/Expr/ExprBuilder.cpp b/lib/Expr/ExprBuilder.cpp
index bc30933b..f373e2b8 100644
--- a/lib/Expr/ExprBuilder.cpp
+++ b/lib/Expr/ExprBuilder.cpp
@@ -11,6 +11,12 @@
 
 using namespace klee;
 
+ExprBuilder::ExprBuilder() {
+}
+
+ExprBuilder::~ExprBuilder() {
+}
+
 namespace {
   class DefaultExprBuilder : public ExprBuilder {
     virtual ref<Expr> Constant(uint64_t Value, Expr::Width W) {
-- 
cgit 1.4.1