diff options
Diffstat (limited to 'src/theory/uf/kinds')
| -rw-r--r-- | src/theory/uf/kinds | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/uf/kinds b/src/theory/uf/kinds index a1db5120f..252020b88 100644 --- a/src/theory/uf/kinds +++ b/src/theory/uf/kinds @@ -33,8 +33,6 @@ typerule LAMBDA ::cvc5::theory::uf::LambdaTypeRule variable BOOLEAN_TERM_VARIABLE "Boolean term variable" -variable LAMBDA_VARIABLE "Lambda variable, used for lazy lambda lifting" - # lambda expressions that are isomorphic to array constants can be considered constants construle LAMBDA ::cvc5::theory::uf::LambdaTypeRule |