[gcc r16-7152] libstdc++: fix a wrong export of a contracts facility in std module

[Jonathan Wakely]

https://gcc.gnu.org/g:4e47e85dd847665b86e6068d59027771208befaa

commit r16-7152-g4e47e85dd847665b86e6068d59027771208befaa
Author: vspefs <vspefs@protonmail.com>
Date:   Thu Jan 29 16:58:19 2026 +0000

    libstdc++: fix a wrong export of a contracts facility in std module
    
    This patch fixes a wrong export name in std module. std module currently
    exports std::contracts::invoke_default_violation_handler, which is wrong.
    The correct name is std::contracts::invoke_default_contract_violation_handler.
    
    libstdc++-v3/ChangeLog:
    
            * src/c++23/std.cc.in (invoke_default_violation_handler): Change
            to invoke_default_contract_violation_handler.
    
    Signed-off-by: Xie Han <vspefs@protonmail.com>

Diff:
---
 libstdc++-v3/src/c++23/std.cc.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libstdc++-v3/src/c++23/std.cc.in b/libstdc++-v3/src/c++23/std.cc.in
index 424f81004d61..bcaa0cb51b60 100644
--- a/libstdc++-v3/src/c++23/std.cc.in
+++ b/libstdc++-v3/src/c++23/std.cc.in
@@ -1031,7 +1031,7 @@ export namespace std::contracts
   using std::contracts::evaluation_semantic;
   using std::contracts::detection_mode;
   using std::contracts::contract_violation;
-  using std::contracts::invoke_default_violation_handler;
+  using std::contracts::invoke_default_contract_violation_handler;
 }
 #endif // __cpp_lib_contracts