Add comments.

2 files changed, 2 insertions, 0 deletions

diff --git a/src/vhdl/sem_expr.adb b/src/vhdl/sem_expr.adb
index 8a7239a0f..474980c6c 100644
--- a/src/vhdl/sem_expr.adb
+++ b/src/vhdl/sem_expr.adb
@@ -1588,6 +1588,7 @@ package body Sem_Expr is
    --  If there are two functions, one primitive of a universal
    --  type and the other not, return the primitive of the universal type.
    --  This implements implicit type conversions rules.
+   --  Cf Sem_Names.Extract_Call_Without_Implicit_Conversion
    function Get_Non_Implicit_Subprogram (List : Iir_List) return Iir
    is
       El : Iir;
diff --git a/src/vhdl/sem_names.adb b/src/vhdl/sem_names.adb
index 5f3854a96..4ab239067 100644
--- a/src/vhdl/sem_names.adb
+++ b/src/vhdl/sem_names.adb
@@ -181,6 +181,7 @@ package body Sem_Names is
    --  conversion.  Return Null_Iir if there is no function call, or if there
    --  is an expressions that isn't a function call, or if there is more than
    --  one function call without implicit conversion.
+   --  Cf Sem_Expr.Get_Non_Implicit_Subprogram
    function Extract_Call_Without_Implicit_Conversion (Res : Iir) return Iir
    is
       pragma Assert (Is_Overload_List (Res));