Minor

cvc5 · Oct 30, 2024 · 8a2d988 · 8a2d988
1 parent 620b150
commit 8a2d988
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/kind.cpp b/src/kind.cpp
@@ -170,7 +170,7 @@ std::string kindToTerm(Kind k)
         case Kind::EVAL_TO_BIN: ss << "to_bin";break;
         case Kind::EVAL_TO_STRING: ss << "to_str";break;
         // datatypes
-        case Kind::EVAL_DEF_OF: ss << "def_of"; break;
+        case Kind::EVAL_DEF_OF: ss << "defof"; break;
         default:ss << "[" << k << "]";break;
         }
       }

diff --git a/src/state.cpp b/src/state.cpp
@@ -146,7 +146,7 @@ State::State(Options& opts, Stats& stats)
   bindBuiltinEval("extract", Kind::EVAL_EXTRACT);
   bindBuiltinEval("find", Kind::EVAL_FIND);
   // datatypes
-  bindBuiltinEval("def_of", Kind::EVAL_DEF_OF);
+  bindBuiltinEval("defof", Kind::EVAL_DEF_OF);
 
   // as
   bindBuiltinEval("as", Kind::AS);