diff --git a/src/Core/UnifyState.idr b/src/Core/UnifyState.idr
index dbee31dd9..6ccf9204f 100644
--- a/src/Core/UnifyState.idr
+++ b/src/Core/UnifyState.idr
@@ -663,9 +663,7 @@ dumpHole' : {auto u : Ref UST UState} ->
 dumpHole' lvl hole
     = do ust <- get UST
          defs <- get Ctxt
-         if keepLog lvl (logLevel $ session $ options defs)
-            then pure ()
-            else do
+         when (keepLog lvl (logLevel $ session $ options defs)) $ do
                defs <- get Ctxt
                case !(lookupCtxtExact (Resolved hole) (gamma defs)) of
                  Nothing => pure ()