From 5f3a84107eeed5f5ff4a0454a6e262ff6bb9019c Mon Sep 17 00:00:00 2001
From: e-ngo <52668908+e-ngo@users.noreply.github.com>
Date: Wed, 7 Aug 2019 18:15:45 -0700
Subject: [PATCH] "true" to True (#1188)

---
 mythril/analysis/report.py    | 2 +-
 mythril/interfaces/cli.py     | 4 +---
 mythril/interfaces/old_cli.py | 4 +---
 3 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/mythril/analysis/report.py b/mythril/analysis/report.py
index 1a39c0ff..d40c466b 100644
--- a/mythril/analysis/report.py
+++ b/mythril/analysis/report.py
@@ -238,7 +238,7 @@ class Report:
             return {}
         logs = []  # type: List[Dict]
         for exception in self.exceptions:
-            logs += [{"level": "error", "hidden": "true", "msg": exception}]
+            logs += [{"level": "error", "hidden": True, "msg": exception}]
         return {"logs": logs}
 
     def as_swc_standard_format(self):
diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py
index 8962fa16..2cbf3f4c 100644
--- a/mythril/interfaces/cli.py
+++ b/mythril/interfaces/cli.py
@@ -63,9 +63,7 @@ def exit_with_error(format_, message):
                 "sourceType": "",
                 "sourceFormat": "",
                 "sourceList": [],
-                "meta": {
-                    "logs": [{"level": "error", "hidden": "true", "msg": message}]
-                },
+                "meta": {"logs": [{"level": "error", "hidden": True, "msg": message}]},
             }
         ]
         print(json.dumps(result))
diff --git a/mythril/interfaces/old_cli.py b/mythril/interfaces/old_cli.py
index 0deedc85..211d1c8e 100644
--- a/mythril/interfaces/old_cli.py
+++ b/mythril/interfaces/old_cli.py
@@ -44,9 +44,7 @@ def exit_with_error(format_, message):
                 "sourceType": "",
                 "sourceFormat": "",
                 "sourceList": [],
-                "meta": {
-                    "logs": [{"level": "error", "hidden": "true", "msg": message}]
-                },
+                "meta": {"logs": [{"level": "error", "hidden": True, "msg": message}]},
             }
         ]
         print(json.dumps(result))