diff --git a/lib/smack/Regions.cpp b/lib/smack/Regions.cpp
index 9a0a53806..c549d8bf5 100644
--- a/lib/smack/Regions.cpp
+++ b/lib/smack/Regions.cpp
@@ -191,7 +191,10 @@ bool Region::overlaps(Region &R) {
 void Region::print(raw_ostream &O) {
   // TODO identify the representative
   O << "<Node:";
-  if (type) O << *type; else O << "*";
+  if (type)
+    O << *type;
+  else
+    O << "*";
   O << ">[" << offset << "," << (offset + length) << "]{";
   if (isSingleton())
     O << "S";