tweak whitespace to satisfy cpplint

kroening · kroening · commit 0fcd0304f927 · 2023-11-27T13:48:35.000-08:00
diff --git a/src/big-int/allocainc.h b/src/big-int/allocainc.h
@@ -13,12 +13,12 @@ Author: Daniel Kroening, dkr@amazon.com
 
 // clang-format off
 #if defined linux || defined __linux__		\
- || defined __sun				\
- || defined UWIN				\
- || defined osf1                                \
- || defined __MACH__                            \
- || defined __CYGWIN__                          \
- || defined __EMSCRIPTEN__
+   || defined __sun				\
+   || defined UWIN				\
+   || defined osf1                              \
+   || defined __MACH__                          \
+   || defined __CYGWIN__                        \
+   || defined __EMSCRIPTEN__
 // clang-format on
 
 #  include <alloca.h>
