From: Ben Pfaff <blp@nicira.com>
Date: Fri, 16 Nov 2012 19:19:17 +0000 (-0800)
Subject: CodingStyle: Fix indentation.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=openvswitch;a=commitdiff_plain;h=568e23fc2772235204dcabb61e1425b312070da2

CodingStyle: Fix indentation.

This got changed away from what I actually prefer in commit be2c418b73fc
(Cleanup isdigit() warnings.).

Signed-off-by: Ben Pfaff <blp@nicira.com>
---

diff --git a/CodingStyle b/CodingStyle
index b0aeb4e6..ee7a0e6d 100644
--- a/CodingStyle
+++ b/CodingStyle
@@ -432,8 +432,8 @@ precedence makes it necessary, or unless the operands are themselves
 expressions that use && and ||.  Thus:
 
     if (!isdigit((unsigned char)s[0])
-            || !isdigit((unsigned char)s[1])
-            || !isdigit((unsigned char)s[2])) {
+        || !isdigit((unsigned char)s[1])
+        || !isdigit((unsigned char)s[2])) {
         printf("string %s does not start with 3-digit code\n", s);
     }