Skip to content

Commit 3cc8595

Browse files
CaseyCarterzygoloid
authored andcommitted
[cmp.categories.pre] Remove unused enumerators
Fixes #3541.
1 parent bd518f2 commit 3cc8595

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

source/support.tex

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4076,8 +4076,7 @@
40764076
from one of the following exposition-only enumerations:
40774077

40784078
\begin{codeblock}
4079-
enum class @\placeholdernc{eq}@ { @\placeholdernc{equal}@ = 0, @\placeholdernc{equivalent}@ = @\placeholdernc{equal}@,
4080-
@\placeholdernc{nonequal}@ = 1, @\placeholdernc{nonequivalent}@ = @\placeholdernc{nonequal}@ }; // \expos
4079+
enum class @\placeholdernc{eq}@ { @\placeholdernc{equal}@ = 0, @\placeholdernc{equivalent}@ = @\placeholdernc{equal}@ }; // \expos
40814080
enum class @\placeholdernc{ord}@ { @\placeholdernc{less}@ = -1, @\placeholdernc{greater}@ = 1 }; // \expos
40824081
enum class @\placeholdernc{ncmp}@ { @\placeholdernc{unordered}@ = -127 }; // \expos
40834082
\end{codeblock}

0 commit comments

Comments
 (0)