From 27d198c91e9e7b852c6f1f2b8ca11284be5b0e8f Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Fri, 7 May 2021 20:06:49 +0200
Subject: [PATCH] master > master: Tippfehler

---
 code/aussagenlogik/grammar.lark | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)