From bcafb00334da1d61958acada050d4800fafdab3f Mon Sep 17 00:00:00 2001
From: Azumabashi <>
Date: Sun, 29 Oct 2023 07:15:37 +0900
Subject: [PATCH] remove simplification

---
 src/beliefRevisionGames/revisionOperatorsUtils.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/beliefRevisionGames/revisionOperatorsUtils.nim b/src/beliefRevisionGames/revisionOperatorsUtils.nim
index 08cb446..ddecc9c 100644
--- a/src/beliefRevisionGames/revisionOperatorsUtils.nim
+++ b/src/beliefRevisionGames/revisionOperatorsUtils.nim
@@ -45,4 +45,4 @@ proc delta*[T](
     choicedFormula = dfInterpretationPairs.filterIt(
       it[0] == dfInterpretationPairs[0][0]
     ).mapIt(it[1].interpretationToFormula())
-  choicedFormula.foldl(a | b).simplification()
\ No newline at end of file
+  choicedFormula.foldl(a | b)
\ No newline at end of file