diff --git a/src/kiri/print.js b/src/kiri/print.js
index 9da8baf8..b2369eef 100644
--- a/src/kiri/print.js
+++ b/src/kiri/print.js
@@ -1078,7 +1078,6 @@
                 if (si > 0) {
                     str = str.replace(';', ';'.padStart(short,' '));
                 }
-                console.log({return: str, short});
             }
             return str;
         }