[PATCH] libstdc++: fix a wrong export of a contracts facility in std module

[vspefs]

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: Change invoke_default_violation_handler to
invoke_default_contract_violation_handler.

Signed-off-by: Xie Han <vsp...@protonmail.com>
---
 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 424f81004d6..bcaa0cb51b6 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
 
-- 
2.52.0