tweak whitespace to satisfy cpplint

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