clang-format symbol.cpp

Author: Chris Ryder

src/util/symbol.cpp

@@ -170,17 +170,16 @@ bool symbolt::is_well_formed() const
     const auto split_name = split_string(id2string(name), '$');
 
     // FIXME: Should loop for all delimited?
-    if(split_name.size() > 1 && has_prefix(split_name[1], "link")) 
+    if(split_name.size() > 1 && has_prefix(split_name[1], "link"))
     {
-
       size_t post_link_start = 4;
       while(post_link_start < split_name[1].size() &&
-      	    std::isdigit(split_name[1][post_link_start]))
+            std::isdigit(split_name[1][post_link_start]))
         ++post_link_start;
 
       const auto stripped_name =
-      	split_name[0] +
-      	split_name[1].substr(post_link_start,split_name[1].size());
+        split_name[0] +
+        split_name[1].substr(post_link_start, split_name[1].size());
 
       if(has_suffix(stripped_name, id2string(base_name)))
         criterion_must_hold = false;