Skip to content

Commit

Permalink
clang-format
Browse files Browse the repository at this point in the history
  • Loading branch information
leissa committed Nov 6, 2022
1 parent e39a326 commit 76953b5
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion thorin/tuple.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,9 @@

namespace thorin {

static bool should_flatten(const Def* def) { return (def->sort() == Sort::Term ? def->type() : def)->isa<Sigma, Arr>(); }
static bool should_flatten(const Def* def) {
return (def->sort() == Sort::Term ? def->type() : def)->isa<Sigma, Arr>();
}

static bool nom_val_or_typ(const Def* def) {
auto typ = (def->sort() == Sort::Term) ? def->type() : def;
Expand Down

0 comments on commit 76953b5

Please sign in to comment.