remove simplification

Azumabashi · Oct 28, 2023 · bcafb00 · bcafb00
1 parent d15437f
commit bcafb00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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()
+  choicedFormula.foldl(a | b)