Comment

cvc5 · Jan 29, 2025 · fda8222 · fda8222
1 parent 1a45d59
commit fda8222
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/state.cpp b/src/state.cpp
@@ -1440,6 +1440,7 @@ Expr State::bindBuiltin(const std::string& name, Kind k, Attr ac, const Expr& t)
 Expr State::bindBuiltinEval(const std::string& name, Kind k, Attr ac)
 {
   Expr c = bindBuiltin("eo::"+name, k, ac);
+  // these operators are considered evaluatable.
   c.getValue()->setFlag(ExprValue::Flag::IS_FLAGS_COMPUTED, true);
   c.getValue()->setFlag(ExprValue::Flag::IS_EVAL, true);
   return c;