From 30e61c48eb818249c2b02d0dc0e7123bdd752010 Mon Sep 17 00:00:00 2001
From: Alexander Senier <senier@adacore.com>
Date: Thu, 5 Sep 2024 22:13:24 +0200
Subject: [PATCH] FIXUP: use empty! instead of empty div!

Co-authored-by: Tobias Reiher <15232394+treiher@users.noreply.github.com>
---
 frontend/src/common.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/src/common.rs b/frontend/src/common.rs
index d8d00b9..4e47930 100644
--- a/frontend/src/common.rs
+++ b/frontend/src/common.rs
@@ -601,7 +601,7 @@ pub fn view_chart<Ms>(
                     C!["has-text-centered"],
                     C!["mb-4"],
                     "No data.".to_string(),
-                ] } else { div![] },
+                ] } else { empty![] },
             Some(value) => div![
                 C!["container"],
                 C!["has-text-centered"],