jukebox 0.4.3 → 0.4.4

raw patch · 2 files changed

+3/−3 lines, 2 files

Files

• jukebox.cabal +1/−1
• src/Jukebox/Tools/HornToUnit.hs +2/−2

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.4.3+Version: 0.4.4 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone

@@ -126,8 +126,8 @@     map elim prob     where       elim inp-        | length negs /= 1 &&-          if null poss then not (allowConjunctiveConjectures flags) else multi flags =+        | (null poss && length negs /= 1 && not (allowConjunctiveConjectures flags)) ||+          (not (null poss) && length negs > 1 && multi flags) =           inp{what = clause (Neg ((tuple tys :@: ts) :=: (tuple tys :@: us)):poss)}         where           (poss, negs) = partition pos (toLiterals (what inp))