From 84f4c38ebea90cd4de397a4e96b449007766f9bb Mon Sep 17 00:00:00 2001
From: Victor Dumitrescu <v.dumitrescu@outlook.com>
Date: Wed, 28 Apr 2021 21:28:49 +0200
Subject: [PATCH] Set custom JS printer function in loader

---
 kremlib/js/loader.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/kremlib/js/loader.js b/kremlib/js/loader.js
index 11897784c..90faa06e3 100644
--- a/kremlib/js/loader.js
+++ b/kremlib/js/loader.js
@@ -477,8 +477,14 @@ function link(imports, modules) {
   return fold(i, modules);
 }
 
+function setMyPrint(f) {
+  my_print = f;
+  return;
+}
+
 if (typeof module !== "undefined")
   module.exports = {
+    setMyPrint: setMyPrint,
     link: link,
     reserve: reserve,
     dump: dump,