From 418c851e9bed5154a7127ce2dc504f7ed64880fd Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 4 Jul 2019 18:21:29 +0200
Subject: netlists: export new_internal_name.

---
 src/synth/netlists-builders.adb | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb
index 6836a8d71..8d6534b42 100644
--- a/src/synth/netlists-builders.adb
+++ b/src/synth/netlists-builders.adb
@@ -436,15 +436,21 @@ package body Netlists.Builders is
       Ctxt.Parent := Parent;
    end Set_Parent;
 
-   function New_Internal_Instance (Ctxt : Context_Acc; M : Module)
-                                  return Instance
+   function New_Internal_Name (Ctxt : Context_Acc) return Sname
    is
-      pragma Assert (M /= No_Module);
       Name : Sname;
    begin
       Name := New_Sname_Version (Get_Name (Ctxt.Parent), Ctxt.Num);
       Ctxt.Num := Ctxt.Num + 1;
-      return New_Instance (Ctxt.Parent, M, Name);
+      return Name;
+   end New_Internal_Name;
+
+   function New_Internal_Instance (Ctxt : Context_Acc; M : Module)
+                                  return Instance
+   is
+      pragma Assert (M /= No_Module);
+   begin
+      return New_Instance (Ctxt.Parent, M, New_Internal_Name (Ctxt));
    end New_Internal_Instance;
 
    function Build_Dyadic (Ctxt : Context_Acc;
-- 
cgit v1.2.3