formatting

.clang-format

@@ -112,9 +112,9 @@ IncludeCategories:
     Priority:        5
   - Regex:           '<thorin/[[:alnum:]_]+\.h>'
     Priority:        4
-  - Regex:           '<c[[:alnum:]]+>'
+  - Regex:           '<c[[:alnum:]_]+>'
     Priority:        1
-  - Regex:           '<[[:alnum:]]+>'
+  - Regex:           '<[[:alnum:]_]+>'
     Priority:        2
   - Regex:           '<.*>'
     Priority:        3

include/thorin/util/print.h

@@ -138,7 +138,6 @@ template<class T, class... Args> std::ostream& print(std::ostream& os, const cha
 /// As above but end with `std::endl`.
 template<class... Args> std::ostream& println(std::ostream& os, const char* fmt, Args&&... args) {
     return print(os, fmt, std::forward<Args&&>(args)...) << std::endl;
-    ;
 }
 
 /// Wraps thorin::print to output a formatted `std:string`.

include/thorin/world.h

@@ -2,12 +2,12 @@
 
 #include <sstream>
 #include <string>
+#include <string_view>
+#include <type_traits>
 
 #include <absl/container/btree_map.h>
 #include <absl/container/btree_set.h>
 #include <fe/arena.h>
-#include <string_view>
-#include <type_traits>
 
 #include "thorin/axiom.h"
 #include "thorin/check.h"

src/thorin/dot.cpp

@@ -20,8 +20,6 @@ template<class T> std::string escape(const T& val) {
     return str;
 }
 
-} // namespace
-
 class Dot {
 public:
     Dot(std::ostream& ostream, bool types)
@@ -110,6 +108,8 @@ class Dot {
     DefSet done_;
 };
 
+} // namespace
+
 void Def::dot(std::ostream& ostream, uint32_t max, bool types) const { Dot(ostream, types).run(this, max); }
 
 void Def::dot(const char* file, uint32_t max, bool types) const {