From 96c8218564975f655d8b45a51284b385e19c4d7a Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Thu, 16 Jun 2022 18:21:54 +0200
Subject: [PATCH] remove left out debug message

---
 src/server/PGFService.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index 19af95bf8..2ed24b390 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -72,7 +72,7 @@ readGrammar mb_pgf path =
     ".pgf" -> readPGF path
     ".ngf" -> case mb_pgf of
                 Nothing -> readNGF path
-                Just gr -> putStrLn "CHECKOUT!!!" >> checkoutPGF gr
+                Just gr -> checkoutPGF gr
     _      -> error "Extension must be .pgf or .ngf"
 
 newCache' rd = do c <- newCache rd