Make eslint happy

robsimmons · Aug 9, 2024 · b470407 · b470407
1 parent b12c6ec
commit b470407
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/termoutput.ts b/src/termoutput.ts
@@ -52,7 +52,7 @@ export function termToData(tm: InputTerm): Data {
   return hide({ type: 'int', value: BigInt(tm) });
 }
 
-export function termToString(tm: Term, parens = false): String {
+export function termToString(tm: Term, parens = false): string {
   if (tm === null) return '()';
   if (typeof tm === 'boolean') return `bool#${tm}`;
   if (typeof tm === 'string') return `"${escapeString(tm)}"`;