From 38c4614e3e4f28520a1e4a0cc269e22aa5dfbbc8 Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Sat, 15 May 2021 10:58:56 +0200
Subject: [PATCH] master > master: codego - minor fix

---
 codego/aussagenlogik/recursion/recursion_eval.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/codego/aussagenlogik/recursion/recursion_eval.go b/codego/aussagenlogik/recursion/recursion_eval.go
index 4ab21fb..f4ab481 100644
--- a/codego/aussagenlogik/recursion/recursion_eval.go
+++ b/codego/aussagenlogik/recursion/recursion_eval.go
@@ -14,7 +14,7 @@ func Eval(fml formulae.Formula, I []string) int {
 	var schema = func(_I []string) func(formulae.Formula, []int) int {
 		return func(fml formulae.Formula, prevValues []int) int {
 			if fml.IsAtom() || fml.IsGeneric() {
-				return utils.BoolToInt(utils.StrListContains(_I, fml.GetExpr()))
+				return utils.BoolToInt(utils.StrListContains(_I, fml.GetName()))
 			} else if fml.IsTautologySymbol() {
 				return 1
 			} else if fml.IsContradictionSymbol() {