Another simplify

cvc5 · Jan 29, 2025 · 1a45d59 · 1a45d59
1 parent 992573b
commit 1a45d59
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/expr.cpp b/src/expr.cpp
@@ -87,11 +87,6 @@ void ExprValue::computeFlags()
     else
     {
       visit.pop_back();
-      if (isLiteralOp(ck))
-      {
-        // requires type and literal operator kinds evaluate
-        cur->setFlag(Flag::IS_EVAL, true);
-      }
       // flags are a union of the flags of the children
       for (ExprValue* c : children)
       {