From 252fe69762639d54b20c327f8b32ceb4dc5a8faf Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 7 Nov 2018 17:59:12 +0000
Subject: [PATCH] Disable clang-format for imported miniz code

---
 jbmc/src/miniz/miniz.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/jbmc/src/miniz/miniz.cpp b/jbmc/src/miniz/miniz.cpp
index bca45efb4c9..9d2f28747a9 100644
--- a/jbmc/src/miniz/miniz.cpp
+++ b/jbmc/src/miniz/miniz.cpp
@@ -24,6 +24,9 @@
  *
  **************************************************************************/
 
+// this is imported code, don't impose formatting rules
+// clang-format off
+
 #ifdef _MSC_VER
 #pragma warning(disable:4548)
   // expression before comma has no effect
@@ -7194,3 +7197,4 @@ mz_bool mz_zip_end(mz_zip_archive *pZip)
 #ifdef __cplusplus
 }
 #endif
+// clang-format on