--
--  Copyright (C) 2024-2025, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
--

package body SPARK.Containers.Hash with SPARK_Mode => Off is

   procedure String_Hash_Equivalent (X, Y : String) is null;

end SPARK.Containers.Hash;
