clang-format

Author: leissa

thorin/axiom.cpp

@@ -20,7 +20,7 @@ Axiom::Axiom(NormalizeFn normalizer,
 
 std::pair<u8, u8> Axiom::infer_curry_and_trip(const Def* type) {
     u8 curry = 0;
-    u8 trip = 0;
+    u8 trip  = 0;
     NomSet done;
     while (auto pi = type->isa<Pi>()) {
         if (auto nom = pi->isa_nom()) {

thorin/fe/parser.cpp

@@ -609,8 +609,7 @@ void Parser::parse_ax() {
 
     if (accept(Tok::Tag::T_comma)) {
         auto c = expect(Tok::Tag::L_u, "curry counter for axiom");
-        if (c.u() > curry)
-            err(c.loc(), "curry counter cannot be greater than {}", curry);
+        if (c.u() > curry) err(c.loc(), "curry counter cannot be greater than {}", curry);
         curry = c.u();
     }