jukebox 0.5.1 → 0.5.2

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

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

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

@@ -429,7 +429,7 @@ skolemName prefix v = do   s <- getName   name <- lift (newName v)-  return $ withRenamer name $ \str i ->+  return $ withLabel "skolem" $ withRenamer name $ \str i ->     Renaming [prefix ++ show (i+1)] $       prefix ++ show (i+1) ++ concat [ "_" ++ t | t <- [s, str], not (null t) ]