Types

robsimmons · Dec 2, 2023 · 7516b54 · 7516b54
1 parent 29757a2
commit 7516b54
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/language/check.ts b/src/language/check.ts
@@ -210,7 +210,7 @@ export function checkFreeVarsInDecl(decl: ParsedDeclaration): Issue[] {
 function checkFunctionalPredicatesInTerm(
   preds: Map<string, number>,
   boundVars: Set<string>,
-  pattern: Pattern,
+  pattern: ParsedPattern,
 ): Issue[] {
   if (pattern.type === 'const') {
     const expectedNum = preds.get(pattern.name);
@@ -318,7 +318,6 @@ export function checkFunctionalPredicatesInDecl(
       ...decl.conclusion.args,
       ...(decl.conclusion.values ?? []),
     )) {
-      console.log(pattern);
       issues.push(...checkFunctionalPredicatesInTerm(preds, boundVars, pattern));
     }
   }