diff --git a/code/aussagenlogik/grammar.lark b/code/aussagenlogik/grammar.lark
index 6f29415..7d20f7f 100644
--- a/code/aussagenlogik/grammar.lark
+++ b/code/aussagenlogik/grammar.lark
@@ -16,7 +16,7 @@
 ?false:   /0|false/                         -> kontr
 ?true:    /1|true/                          -> taut
 ?atom:    /A[0-9]+/                         -> atom
-// als 'generischen' Formeln schreibe bspw. {F}, {G}, {F1}, usw.
+// als 'generische' Formeln schreibe bspw. {F}, {G}, {F1}, usw.
 ?generic: "{" /((?!({|})).)+/ "}"           -> beliebig
 
 // Symbole (erlaube mehrere Varianten)