Typo

Co-authored-by: Alex Lüpges <luepges@se-rwth.de>
MontiCore · Nov 20, 2024 · 078c502 · 078c502
1 parent 9afa1ad
commit 078c502
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md b/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md
@@ -161,7 +161,7 @@ has not been used "to their full potential":
 the type that is the subtype of all types.
 Analogue to `#TOP`, `#BOTTOM` represents
 the lack of a more specific lower bound.
-`#Bottom` has no values.
+`#BOTTOM` has no values.
 Inference variables are never instantiated to `#BOTTOM`.
 
 ## How to get the type of an ASTNode with generics?