weniger Klammern bei Wahrheitstafel-Formelnausgabe

- close #223
fmidue · Nov 19, 2024 · 5000317 · 5000317
1 parent ae5b2b6
commit 5000317
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/LogicTasks/Util.hs b/src/LogicTasks/Util.hs
@@ -13,7 +13,7 @@ import Util
 import Test.QuickCheck (Gen)
 import Formula.Types (Cnf, genCnf, genDnf, Dnf)
 import Config (NormalFormConfig (..), BaseConfig(..), FormulaInst (..), FormulaConfig (..))
-import Trees.Print (display)
+import Trees.Print (simplestDisplay)
 import Tasks.SynTree.Config (SynTreeConfig(minAmountOfUniqueAtoms, availableAtoms))
 import Formula.Util (isEmptyCnf, hasEmptyClause, isEmptyDnf, hasEmptyCon)
 
@@ -28,7 +28,7 @@ genDnf' (NormalFormConfig{baseConf = BaseConfig{..}, ..})
 displayFormula :: FormulaInst -> String
 displayFormula (InstCnf c) = show c
 displayFormula (InstDnf d) = show d
-displayFormula (InstArbitrary t) = display t
+displayFormula (InstArbitrary t) = simplestDisplay t
 
 usesAllAtoms :: FormulaConfig -> Bool
 usesAllAtoms (FormulaArbitrary syntaxTreeConfig)