Skip to content

Commit

Permalink
Fixed formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
zvonimir committed Aug 2, 2019
1 parent fe4ada6 commit 99aa6fc
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion lib/smack/Regions.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -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";
Expand Down

0 comments on commit 99aa6fc

Please sign in to comment.