summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNickSmallbone <>2020-08-09 22:03:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2020-08-09 22:03:00 (GMT)
commit03979a63886828de6d0ba2a52e564587d61a6649 (patch)
tree550e7ab4aef7a90599e14f0ad35a70ce4ff3fb48
parent1739c752f83905e71fb81259fb42f3174884675d (diff)
version 0.5.2HEAD0.5.2master
-rw-r--r--jukebox.cabal2
-rw-r--r--src/Jukebox/Tools/Clausify.hs2
2 files changed, 2 insertions, 2 deletions
diff --git a/jukebox.cabal b/jukebox.cabal
index 3bc85cc..e567e8b 100644
--- a/jukebox.cabal
+++ b/jukebox.cabal
@@ -1,5 +1,5 @@
Name: jukebox
-Version: 0.5.1
+Version: 0.5.2
Cabal-version: >= 1.10
Build-type: Simple
Author: Nick Smallbone
diff --git a/src/Jukebox/Tools/Clausify.hs b/src/Jukebox/Tools/Clausify.hs
index 5c60ebc..e593950 100644
--- a/src/Jukebox/Tools/Clausify.hs
+++ b/src/Jukebox/Tools/Clausify.hs
@@ -429,7 +429,7 @@ skolemName :: Named a => String -> a -> M Name
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) ]