From: Lisa Date: Tue, 4 Aug 2015 20:09:52 +0000 (-0500) Subject: Removed empty line. X-Git-Tag: v8.4.0-rc2~682^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F1256%2Fhead;p=dealii.git Removed empty line. --- diff --git a/include/deal.II/base/index_set.h b/include/deal.II/base/index_set.h index 2ae063f39a..e01ec3f468 100644 --- a/include/deal.II/base/index_set.h +++ b/include/deal.II/base/index_set.h @@ -147,7 +147,6 @@ public: /** * Add an individual index to the set of indices. */ - void add_index (const size_type index); /**