diff --git a/src/Kind/API.hs b/src/Kind/API.hs
index 5a0003f51..b775a5482 100644
--- a/src/Kind/API.hs
+++ b/src/Kind/API.hs
@@ -86,7 +86,6 @@ apiCheckFile book defs path = do
         Just names -> [(name, term) | name <- names, Just term <- [M.lookup name book]]
         Nothing    -> []
   results <- forM termsToCheck $ \(name, term) -> do
-    putStrLn $ "Checking " ++ name ++ ":"
     case envRun (doCheck term) book of
       Done state value -> do
         apiPrintLogs state