From de42289c12dc401608d97924959a6b6486a01966 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABl=20=C3=89corchard?= <gael.ecorchard@cvut.cz>
Date: Fri, 10 Mar 2023 13:10:00 +0100
Subject: [PATCH] Do not allow an empty identifier

---
 src/Base/Tools.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Base/Tools.cpp b/src/Base/Tools.cpp
index 32a02708fb..f3385132c5 100644
--- a/src/Base/Tools.cpp
+++ b/src/Base/Tools.cpp
@@ -154,6 +154,8 @@ std::string Base::Tools::addNumber(const std::string& name, unsigned int num, in
 
 std::string Base::Tools::getIdentifier(const std::string& name)
 {
+    if (name.empty())
+        return "_";
     // check for first character whether it's a digit
     std::string CleanName = name;
     if (!CleanName.empty() && CleanName[0] >= 48 && CleanName[0] <= 57)