Missing arity check

cvc5 · Jun 4, 2024 · da19032 · da19032
1 parent 6f041db
commit da19032
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/type_checker.cpp b/src/type_checker.cpp
@@ -177,6 +177,7 @@ bool TypeChecker::checkArity(Kind k, size_t nargs, std::ostream* out)
     case Kind::EVAL_REQUIRES:
     case Kind::EVAL_IF_THEN_ELSE:
     case Kind::EVAL_CONS:
+    case Kind::EVAL_LIST_FIND:
     case Kind::EVAL_LIST_NTH:
       ret = (nargs==3);
       break;