From 4d8e71951d3b6d177bcb34d561abd5f9b19ec7d9 Mon Sep 17 00:00:00 2001
From: Martin Lundfall <martin.lundfall@protonmail.com>
Date: Mon, 28 Jan 2019 17:05:00 +0100
Subject: [PATCH] kast: fix undefinedness error

---
 lib/kast.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/kast.js b/lib/kast.js
index 7cb5c5d9..0da768ab 100644
--- a/lib/kast.js
+++ b/lib/kast.js
@@ -256,12 +256,14 @@ const format = (o, isRaw = false) => {
 }
 
 const prettify = str => {
+  if (str) {
     str = str.replace(/ \.IntList/g, "");
     str = str.replace(/ _\-Int__INT /g, " - ");
     str = str.replace(/ _\+Int__INT /g, " + ");
     str = str.replace(/ _\/Int__INT /g, " / ");
     str = str.replace(/ _\*Int__INT /g, " * ");
-    return str;
+  }
+  return str;
 }
 
 const get = (term, path) => {