From 23ff0de79f75411bec70c95448392397f6a992a5 Mon Sep 17 00:00:00 2001 From: Lisa Date: Tue, 4 Aug 2015 15:09:52 -0500 Subject: [PATCH] Removed empty line. --- include/deal.II/base/index_set.h | 1 - 1 file changed, 1 deletion(-) 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); /** -- 2.39.5