jukebox 0.5.10 → 0.5.11

raw patch · 2 files changed

+3/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• jukebox.cabal +1/−1
• src/Jukebox/TPTP/ParseSnippet.hs +2/−1

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

@@ -63,4 +63,5 @@   where     extract :: Named a => [a] -> [(String, a)]     extract xs =-      [(unintern sym, x) | x <- xs, Fixed (Basic sym) _ <- [name x]]+      [(unintern sym, x) | x <- xs, Fixed (Basic sym) _ <- [name x]] +++      [(unintern sym, x) | x <- xs, Unique _ sym _ _ <- [name x]]