From da92b7b35ebe1c6d1d27bdd3ae479360c55812d3 Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dabrahams@adobe.com>
Date: Fri, 16 Aug 2024 04:33:12 -0700
Subject: [PATCH] Eliminate safety_precondition.

ADOBE_NONCRITICAL_PRECONDITION_CHECK will just use the precondition kind.
---
 include/adobe/contract_checks.hpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/adobe/contract_checks.hpp b/include/adobe/contract_checks.hpp
index af3735a..5ffef8d 100644
--- 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