From 13ee84166a51afe4726ffae1b87c60e55923a348 Mon Sep 17 00:00:00 2001
From: Rob Simmons <robsimmons@gmail.com>
Date: Fri, 1 Dec 2023 20:12:08 -0500
Subject: [PATCH] Rename checkBuiltinPatternsDecl

---
 src/language/check.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/language/check.ts b/src/language/check.ts
index d871c7d..ad5092b 100644
--- a/src/language/check.ts
+++ b/src/language/check.ts
@@ -209,9 +209,9 @@ export function checkFreeVarsInDecl(decl: ParsedDeclaration): Issue[] {
 /**
  * This check assumes that the first free variable checks have passed, and serves
  * only to check that the flattening transformation will produce a well-moded program when
- * builtins get flattened out into separate premises.
+ * functional predicates get flattened out into separate premises.
  */
-export function checkBuiltinPatternsDecl(decl: ParsedDeclaration): Issue[] {
+export function checkFunctionalPredicatesInDecl(decl: ParsedDeclaration): Issue[] {
   const boundVars = new Set<string>();
   const issues: Issue[] = [];
   for (const premise of decl.premises) {
@@ -288,7 +288,7 @@ export function check(decls: ParsedDeclaration[]): Issue[] {
   for (const decl of decls) {
     const declErrors = checkFreeVarsInDecl(decl);
     if (declErrors.length === 0) {
-      declErrors.push(...checkBuiltinPatternsDecl(decl));
+      declErrors.push(...checkFunctionalPredicatesInDecl(decl));
     }
     errors.push(...declErrors);
   }