From 5233d860f489ee47c960ad4106202426f4a50445 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Fri, 16 Jun 2023 13:33:50 +0200
Subject: [PATCH] Slight change in Occurrence::getCompactString() formatting.

* Change: In Occurrence::getCompactString(), when the path is void,
    still display a double colon (::) instead of just one so we know
    for sure that the it is void.
---
 hurricane/src/hurricane/Occurrence.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/hurricane/src/hurricane/Occurrence.cpp b/hurricane/src/hurricane/Occurrence.cpp
index 67e3750f..1d3e9d63 100644
--- a/hurricane/src/hurricane/Occurrence.cpp
+++ b/hurricane/src/hurricane/Occurrence.cpp
@@ -289,7 +289,8 @@ string Occurrence::getCompactString() const
   if (_entity) {
     s += getString(getOwnerCell()->getName());
     s += ":";
-    if (_sharedPath) s += getString(_sharedPath->getName()) + ":";
+    if (_sharedPath) s += getString(_sharedPath->getName());
+    s += ":";
     Instance* instance = dynamic_cast<Instance*>(_entity);
     if (instance) {
       s += "I."+getString(instance->getName());