clang-format fixups

diffblue · Jul 25, 2018 · 546813d · 546813d
1 parent 9986ea1
commit 546813d
Showing 1 changed file with 3 additions and 4 deletions.
diff --git 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();
     }