Even prettier

robsimmons · Nov 18, 2023 · 7fae0ea · 7fae0ea
1 parent 883374b
commit 7fae0ea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/langauge/terms.ts b/src/langauge/terms.ts
@@ -50,8 +50,8 @@ export function termToString(t: Pattern, needsParens = true): string {
       return t.args.length === 0
         ? name
         : needsParens
-          ? `(${name} ${t.args.map((arg) => termToString(arg)).join(' ')})`
-          : `${name} ${t.args.map((arg) => termToString(arg)).join(' ')}`;
+        ? `(${name} ${t.args.map((arg) => termToString(arg)).join(' ')})`
+        : `${name} ${t.args.map((arg) => termToString(arg)).join(' ')}`;
     }
     case 'var':
       return t.name;