Fix

cvc5 · Apr 4, 2024 · d5c281d · d5c281d
1 parent dd206f1
commit d5c281d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/kind.cpp b/src/kind.cpp
@@ -233,6 +233,7 @@ bool isListLiteralOp(Kind k)
   {
     case Kind::EVAL_NIL:
     case Kind::EVAL_CONS:
+    case Kind::EVAL_NIL_OF:
     case Kind::EVAL_CONCAT:
     case Kind::EVAL_EXTRACT:
     case Kind::EVAL_FIND: