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();
     }