From 4603ba2a9479c78e7463dd785753582bcef6783d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 2 Oct 2012 22:37:57 -0700 Subject: [PATCH] llvm stuff Signed-off-by: Leonardo de Moura --- lib/buffer.h | 2 +- lib/ref_vector.h | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/buffer.h b/lib/buffer.h index d3d85db89..1467e64df 100644 --- a/lib/buffer.h +++ b/lib/buffer.h @@ -240,7 +240,7 @@ class ptr_buffer : public buffer { public: void append(unsigned n, T * const * elems) { for (unsigned i = 0; i < n; i++) { - push_back(elems[i]); + this->push_back(elems[i]); } } }; diff --git a/lib/ref_vector.h b/lib/ref_vector.h index 155c032a1..f2ceb769b 100644 --- a/lib/ref_vector.h +++ b/lib/ref_vector.h @@ -198,12 +198,12 @@ public: ref_vector(ref_vector const & other): super(ref_manager_wrapper(other.m_manager)) { - append(other); + this->append(other); } ref_vector(TManager & m, unsigned sz, T * const * data): super(ref_manager_wrapper(m)) { - append(sz, data); + this->append(sz, data); } TManager & get_manager() const { @@ -271,7 +271,7 @@ public: ref_vector & set(ref_vector const& other) { if (this != &other) { this->reset(); - append(other); + this->append(other); } return *this; }