From 546813dae2e5b9053fba950f1730a2beb02d9144 Mon Sep 17 00:00:00 2001
From: Chris Ryder <chris.ryder@diffblue.com>
Date: Wed, 25 Jul 2018 17:15:55 +0100
Subject: [PATCH] clang-format fixups

---
 src/util/expr.cpp | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/util/expr.cpp b/src/util/expr.cpp
index 8104e65e4de6..dd15dc90604d 100644
--- a/src/util/expr.cpp
+++ b/src/util/expr.cpp
@@ -176,10 +176,9 @@ bool exprt::is_zero() const
         CHECK_RETURN(false);
       return rat_value.is_zero();
     }
-    else if(type_id==ID_unsignedbv ||
-            type_id==ID_signedbv ||
-            type_id==ID_c_bool ||
-            type_id==ID_c_bit_field)
+    else if(
+      type_id==ID_unsignedbv || type_id==ID_signedbv ||
+      type_id==ID_c_bool || type_id==ID_c_bit_field)
     {
       return constant.value_is_zero_string();
     }