Skip to content

Commit

Permalink
Fixed a JavaDoc.
Browse files Browse the repository at this point in the history
  • Loading branch information
dhendriks committed Feb 23, 2024
1 parent dfa3dd5 commit 9c85d91
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ && inPartialOrder(otherLatticeNode.getValue(), latticeNode.getValue()))
* </p>
*
* @param variant Base variant to compare.
* @param otherVariant Possibly included variant.
* @param otherVariant Other variant to compare.
* @return {@code true} if the behavior of {@code variant} is contained in the behavior of {@code otherVariant},
* {@code false} if it is not contained in that way.
*/
Expand Down

0 comments on commit 9c85d91

Please sign in to comment.