1 files changed, 0 insertions, 6 deletions
diff --git a/src/dyn_interning.ads b/src/dyn_interning.ads
index f0ec7d4a8..abe32a27b 100644
--- a/src/dyn_interning.ads
+++ b/src/dyn_interning.ads
@@ -67,12 +67,6 @@ package Dyn_Interning is
    --  current implementation allocates index incrementally.
    function Get_By_Index (Inst : Instance; Index : Index_Type)
                           return Object_Type;
-
-   --  Modify an existing object.
-   --  Must not change the definition of Equal!
-   procedure Modify
-     (Inst : in out Instance; Index : Index_Type; Obj : Object_Type);
-
 private
    type Element_Wrapper is record
       Hash : Hash_Value_Type;