From d4a3f2177bf12fabc5ec85b64a7e56336ca81153 Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Fri, 7 May 2021 20:21:28 +0200
Subject: [PATCH] master > master: kleiner syntaxfehler

---
 code/aussagenlogik/schema.py | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/code/aussagenlogik/schema.py b/code/aussagenlogik/schema.py
index 0e73aa0..59d25ac 100644
--- a/code/aussagenlogik/schema.py
+++ b/code/aussagenlogik/schema.py
@@ -9,9 +9,6 @@ from __future__ import annotations;
 # install: lark; lark-parser; lark-parser[regex].
 # https://lark-parser.readthedocs.io/en/latest/grammar.html
 from lark import Lark;
-from lark import Tree;
-from typing import List;
-from typing import Union;
 
 from aussagenlogik.syntaxbaum import SyntaxBaum;
 
@@ -66,7 +63,7 @@ def isDisjunction(fml: SyntaxBaum) -> bool:
     return fml.kind == 'disj';
 
 def isLongDisjunction(fml: SyntaxBaum) -> bool:
-    return fml.kind == ['disj', 'disj_lang'];
+    return fml.kind in ['disj', 'disj_lang'];
 
 def isImplication(fml: SyntaxBaum) -> bool:
     return fml.kind == 'impl';