From 4a0cd3409a4208d1c55c4e08eff8c896269ceab8 Mon Sep 17 00:00:00 2001 From: David Rotermund <54365609+davrot@users.noreply.github.com> Date: Sun, 15 Jan 2023 03:02:07 +0100 Subject: [PATCH] Update get_perf.py --- get_perf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/get_perf.py b/get_perf.py index 863802a..667a0d8 100644 --- a/get_perf.py +++ b/get_perf.py @@ -15,7 +15,7 @@ filename:str = "def.json" with open(filename) as json_file: minified = jsmin(json_file.read()) data = json.loads(minified) -number_of_spikes = data["number_of_spikes"] + # -------------------------------