From 9f5cacf31ef69368697d2faf8774c20886246bdb Mon Sep 17 00:00:00 2001
From: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
Date: Fri, 16 Apr 2021 14:55:52 +0100
Subject: [PATCH] [ fix ] debugging printing

---
 src/Core/UnifyState.idr | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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 ()