Eliminate safety_precondition.

ADOBE_NONCRITICAL_PRECONDITION_CHECK will just use the precondition kind.
stlab · Aug 16, 2024 · da92b7b · da92b7b
1 parent ecc025d
commit da92b7b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/include/adobe/contract_checks.hpp b/include/adobe/contract_checks.hpp
@@ -16,8 +16,6 @@ class contract_violation final : public ::std::logic_error
   // The predefined kinds of contract violations provided by this library.
   enum predefined_kind : kind_t {
     precondition = 1,
-    // A precondition check that dynamically ensures safety failed.
-    safety_precondition,
     postcondition,
     invariant,
     unconditional_fatal_error