From 8f5547679e5d77d0b5458c77fab06e7bb6eb21aa Mon Sep 17 00:00:00 2001 From: kronbichler Date: Mon, 27 Jun 2011 16:33:52 +0000 Subject: [PATCH] Fix typo in documentation. git-svn-id: https://svn.dealii.org/trunk@23870 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/include/deal.II/base/smartpointer.h | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/deal.II/include/deal.II/base/smartpointer.h b/deal.II/include/deal.II/base/smartpointer.h index bca14c2ab9..53e50d9498 100644 --- a/deal.II/include/deal.II/base/smartpointer.h +++ b/deal.II/include/deal.II/base/smartpointer.h @@ -124,7 +124,7 @@ class SmartPointer * subscription. */ ~SmartPointer(); - + /** * Assignment operator for normal * pointers. The pointer @@ -132,7 +132,7 @@ class SmartPointer * automatically and unsubscribes * to an old one if it exists. It * will not try to subscribe to a - * null-pointer, but stilll + * null-pointer, but still * delete the old subscription. */ SmartPointer & operator= (T *tt); @@ -161,12 +161,12 @@ class SmartPointer * and set the pointer to zero. */ void clear (); - + /** * Conversion to normal pointer. */ operator T* () const; - + /** * Dereferencing operator. This * operator throws an @@ -174,7 +174,7 @@ class SmartPointer * pointer is a null pointer. */ T& operator * () const; - + /** * Dereferencing operator. This * operator throws an @@ -230,7 +230,7 @@ class SmartPointer * by the object pointed to. */ std::size_t memory_consumption () const; - + private: /** * Pointer to the object we want @@ -343,7 +343,7 @@ SmartPointer & SmartPointer::operator = (T *tt) // requested if (t == tt) return *this; - + if (t != 0) t->unsubscribe(id); t = tt; @@ -365,7 +365,7 @@ SmartPointer::operator = (const SmartPointer& tt) // the same, then this is a no-op if (&tt == this) return *this; - + if (t != 0) t->unsubscribe(id); t = static_cast(tt); @@ -386,7 +386,7 @@ SmartPointer::operator = (const SmartPointer& tt) // the same, then this is a no-op if (&tt == this) return *this; - + if (t != 0) t->unsubscribe(id); t = static_cast(tt); @@ -448,7 +448,7 @@ void SmartPointer::swap (T *&tt) { if (t != 0) t->unsubscribe (id); - + std::swap (t, tt); if (t != 0) -- 2.39.5