Skip to content

Commit 57f8848

Browse files
committed
Disable clang-format for the newly moved file
The file will be substantially rewritten in follow-up commits and there is no need to do a large-scale whitespace change at this point.
1 parent a9c37b8 commit 57f8848

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/solvers/lowering/byte_operators.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,8 @@ Author: Daniel Kroening, [email protected]
1818

1919
#include "flatten_byte_extract_exceptions.h"
2020

21+
// clang-format off
22+
2123
/// rewrite an object into its individual bytes
2224
/// \par parameters: src object to unpack
2325
/// little_endian true, iff assumed endianness is little-endian
@@ -664,3 +666,4 @@ exprt flatten_byte_operators(
664666
else
665667
return tmp;
666668
}
669+
// clang-format on

0 commit comments

Comments
 (0)