From f0ce805a7c1fd5197f5575b5868788066429f3bd Mon Sep 17 00:00:00 2001
From: Nikhil Parasaram <tommycjniko@gmail.com>
Date: Mon, 25 Mar 2019 20:05:35 +0530
Subject: [PATCH] Change the field to integer

---
 mythril/analysis/report.py | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/mythril/analysis/report.py b/mythril/analysis/report.py
index 3124c34f..a3dfed4f 100644
--- a/mythril/analysis/report.py
+++ b/mythril/analysis/report.py
@@ -231,11 +231,7 @@ class Report:
                     },
                     "severity": issue.severity,
                     "locations": [{"sourceMap": "%d:1:%d" % (issue.address, idx)}],
-                    "extra": {
-                        "discoveryTime": "{}".format(
-                            int(issue.discovery_time * 10 ** 9)
-                        )
-                    },
+                    "extra": {"discoveryTime": int(issue.discovery_time * 10 ** 9)},
                 }
             )
         meta_data = self._get_exception_data()