From bcaa958dcd645599382c3063ea87ad6e878210fc Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 31 Mar 2020 10:40:45 +0100
Subject: Fixed some messages, particularly Klee -> KLEE

---
 utils/grafana/datasource.yml      | 2 +-
 utils/grafana/klee_dashboard.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'utils')

diff --git a/utils/grafana/datasource.yml b/utils/grafana/datasource.yml
index e568c326..13a61406 100644
--- a/utils/grafana/datasource.yml
+++ b/utils/grafana/datasource.yml
@@ -3,7 +3,7 @@ apiVersion: 1
 
 datasources:
   # <string, required> name of the datasource. Required
-- name: Klee Stats
+- name: KLEE Stats
   # <string, required> datasource type. Required
   type: grafana-simple-json-datasource
   # <string, required> access mode. proxy or direct (Server or Browser in the UI). Required
diff --git a/utils/grafana/klee_dashboard.json b/utils/grafana/klee_dashboard.json
index 3b653bab..cbe71b6c 100644
--- a/utils/grafana/klee_dashboard.json
+++ b/utils/grafana/klee_dashboard.json
@@ -188,7 +188,7 @@
         "#B877D9",
         "#d44a3a"
       ],
-      "datasource": "Klee Stats",
+      "datasource": "KLEE Stats",
       "format": "locale",
       "gauge": {
         "maxValue": 100,
-- 
cgit 1.4.1