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 --git a/libstdc++-v3/src/c++23/std.cc.in b/libstdc++-v3/src/c++23/std.cc.in
index 424f81004d6113e51c59c7bd48d8e5c0bbf1f021..bcaa0cb51b607688bb4b58c596d257ffc6c3b090 100644 (file)
--- 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