summaryrefslogtreecommitdiff
path: root/src/Jukebox/Tools/Clausify.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Jukebox/Tools/Clausify.hs')
-rw-r--r--src/Jukebox/Tools/Clausify.hs2
1 files changed, 1 insertions, 1 deletions
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) ]