Make operator public

This commit is contained in:
Andreas Fabri 2021-11-01 16:58:59 +01:00
parent 9b11a6a382
commit 727878e965
1 changed files with 2 additions and 0 deletions

View File

@ -9140,6 +9140,8 @@ public:
*/
class NonZeroDimension_3
{
public:
/// \name Operations
/// A model of this concept must provide:
/// @{