Delete a constructor instead of making it private.

diff --git a/include/deal.II/grid/tria_faces.h b/include/deal.II/grid/tria_faces.h
index d0fae38ae8001125ea40566602038c08c09c8c76..f375f0d3ee78fb87ed5408225ecb80cbeacd03a8 100644 (file)
--- a/include/deal.II/grid/tria_faces.h
+++ b/include/deal.II/grid/tria_faces.h
@@ -48,12 +48,12 @@ namespace internal
     template <int dim>
     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;
     };