jukebox 0.5.14 → 0.5.15

raw patch · 2 files changed

+3/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

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

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.5.14+Version: 0.5.15 Cabal-version: >= 1.10 Build-type: Simple Author: Nick Smallbone

@@ -118,8 +118,8 @@ -- core clausification algorithm  clausForm :: AxKind -> Input Form -> M [Input Clause]-clausForm _ inp-  | Just clause <- toClause (what inp) =+clausForm k inp+  | Just clause <- toClause (what inp), kind inp == Ax k =     return [fmap (const clause) inp] clausForm kind inp =   withName (tag inp) $