From b6cfa3cfa660622997a52f00a9f0376339c0f743 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Tue, 8 Dec 2020 23:42:13 +0100 Subject: Add VERIFY_BV21_ERROR. --- src/verify.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/verify.h b/src/verify.h index 87d52d44..4b4442e4 100644 --- a/src/verify.h +++ b/src/verify.h @@ -51,6 +51,7 @@ public: */ enum Type { VERIFY_ERROR, + VERIFY_BV21_ERROR, ///< may not always be considered an error, but violates a "shall" requirement of Bv2.1 VERIFY_WARNING }; -- cgit v1.2.3