From 1704116c197589c01f862a5ffcb1b8f3bfdb06ba Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 12 Jul 2017 10:18:21 -0600 Subject: [PATCH] Delete a constructor instead of making it private. --- include/deal.II/grid/tria_faces.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/include/deal.II/grid/tria_faces.h b/include/deal.II/grid/tria_faces.h index d0fae38ae8..f375f0d3ee 100644 --- a/include/deal.II/grid/tria_faces.h +++ b/include/deal.II/grid/tria_faces.h @@ -48,12 +48,12 @@ namespace internal template class TriaFaces { - private: + public: /** - * Make the constructor private so no one can use this general template. - * Only the specializations should be used. + * Constructor. This constructor is deleted to prevent the use of this template, + * as only the specializations should be used */ - TriaFaces(); + TriaFaces() = delete; }; -- 2.39.5