From e414cbc0c81b6ba714f183c121d914476fefae84 Mon Sep 17 00:00:00 2001
From: alexlamsl <alexlamsl@gmail.com>
Date: Mon, 28 Oct 2019 15:07:04 +0800
Subject: [PATCH] fix corner case in ufuzz

---
 test/ufuzz/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/ufuzz/index.js b/test/ufuzz/index.js
index e6ee3fde..51e79ed6 100644
--- a/test/ufuzz/index.js
+++ b/test/ufuzz/index.js
@@ -1060,7 +1060,7 @@ function log(options) {
     errorln("//=============================================================");
     if (!ok) errorln("// !!!!!! Failed... round " + round);
     errorln("// original code");
-    try_beautify(orig_code(options.compress.unsafe_math), options.toplevel, original_result, errorln);
+    try_beautify(orig_code(options.compress && options.compress.unsafe_math), options.toplevel, original_result, errorln);
     errorln();
     errorln();
     errorln("//-------------------------------------------------------------");