From e55560e1a29e6e5786dfb0ef74a17e68ff2abf43 Mon Sep 17 00:00:00 2001
From: Jeffrey Walton <noloader@gmail.com>
Date: Wed, 15 Mar 2017 15:46:23 -0400
Subject: [PATCH] Update Coverity modeling file

---
 TestScripts/cryptest-coverity.cpp | 25 ++++++++++++-------------
 1 file changed, 12 insertions(+), 13 deletions(-)

diff --git a/TestScripts/cryptest-coverity.cpp b/TestScripts/cryptest-coverity.cpp
index dbbade72..d9eba636 100644
--- a/TestScripts/cryptest-coverity.cpp
+++ b/TestScripts/cryptest-coverity.cpp
@@ -1,13 +1,12 @@
-// cryptest-coverity.cpp - Coverity modeling file.
-//                         Written and placed in public domain by Jeffrey Walton and Uri Blumenthal.
-//                         Copyright assigned to Crypto++ project.
-//
-// For more information see http://cryptopp.com/wiki/Coverity_Scan.
-//
-// Also see https://scan.coverity.com/tune#what-is-model
-
-///////////////////////////////////////////////////////////////////
-
-void special_abort(const char* msg) {
-	__coverity_panic__();
-}
+// cryptest-coverity.cpp - Coverity modeling file.
+//                         Written and placed in public domain by Jeffrey Walton and Uri Blumenthal.
+//
+// For more information see http://cryptopp.com/wiki/Coverity_Scan.
+//
+// Also see https://scan.coverity.com/tune#what-is-model
+
+///////////////////////////////////////////////////////////////////
+
+void special_abort(const char* msg) {
+	__coverity_panic__();
+}